CSY/reowolf Changeset - c79f28079eb9 · Centrum Wiskunde & Informatica (CWI)

Changeset - c79f28079eb9

Parent rev.

Child rev.

[Not reviewed]

feat-bytecode

0 3 0

MH - 4 years ago 2021-07-27 13:37:59
contact@maxhenger.nl

make all tests work again

3 files changed with 13 insertions and 10 deletions:

src/protocol/parser/pass_typing.rs

src/protocol/parser/type_table.rs

src/protocol/tests/eval_silly.rs

0 comments (0 inline, 0 general)

src/protocol/parser/pass_typing.rs

➞

Show inline comments

@@ @@ -3534,7 +3534,10 @@ impl PassTyping { @@
         for concrete_part in concrete_type {
             match concrete_part {
                 CTP::Void => parser_type.push(ITP::Void),
                 CTP::Message => parser_type.push(ITP::Message),
                 CTP::Message => {
                     parser_type.push(ITP::Message);
                     parser_type.push(ITP::UInt8)
                 },
                 CTP::Bool => parser_type.push(ITP::Bool),
                 CTP::UInt8 => parser_type.push(ITP::UInt8),
                 CTP::UInt16 => parser_type.push(ITP::UInt16),

src/protocol/parser/type_table.rs

➞

Show inline comments

@@ @@ -927,7 +927,7 @@ impl TypeTable { @@
     /// Builds base component type.
     fn build_base_component_definition(&mut self, modules: &[Module], ctx: &mut PassCtx, definition_id: DefinitionId) -> Result<(), ParseError> {
         debug_assert!(self.lookup.contains_key(&definition_id), "base component already built");
+        debug_assert!(!self.lookup.contains_key(&definition_id), "base component already built");
         let definition = &ctx.heap[definition_id].as_component();
         let root_id = definition.defined_in;

src/protocol/tests/eval_silly.rs

➞

Show inline comments

@@ @@ -135,14 +135,14 @@ fn test_slicing_magic() { @@
         f.call_ok(Some(Value::Bool(true)));
     }).for_struct("Holder", |s| { s
         .assert_num_monomorphs(8)
         .assert_has_monomorph("u8")
         .assert_has_monomorph("u16")
         .assert_has_monomorph("u32")
         .assert_has_monomorph("u64")
         .assert_has_monomorph("s8")
         .assert_has_monomorph("s16")
         .assert_has_monomorph("s32")
         .assert_has_monomorph("s64");
         .assert_has_monomorph("Holder<u8>")
         .assert_has_monomorph("Holder<u16>")
         .assert_has_monomorph("Holder<u32>")
         .assert_has_monomorph("Holder<u64>")
         .assert_has_monomorph("Holder<s8>")
         .assert_has_monomorph("Holder<s16>")
         .assert_has_monomorph("Holder<s32>")
         .assert_has_monomorph("Holder<s64>");
     });
+}

0 comments (0 inline, 0 general)