diff --git a/test/opt/output.t b/test/opt/output.t index f99c975c9..310f5cdaf 100644 --- a/test/opt/output.t +++ b/test/opt/output.t @@ -1,7 +1,6 @@ $ owi opt fbinop.wat -o bar.wat $ owi fmt bar.wat (module - (type (sub final (func))) (func $start diff --git a/test/script/gc.t b/test/script/gc.t index fd24894f8..0ef24e99e 100644 --- a/test/script/gc.t +++ b/test/script/gc.t @@ -22,7 +22,27 @@ $ owi script --no-exhaustion reference/proposals/gc/ref_eq.wast owi: internal error, uncaught exception: File "src/ast/types.ml", line 923, characters 12-18: Assertion failed - + Raised at Owi__Types.compare_str_type in file "src/ast/types.ml", line 923, characters 12-24 + Called from Stdlib__Map.Make.add in file "map.ml", line 129, characters 18-33 + Called from Owi__Assigned.assign_type in file "src/text_to_binary/assigned.ml", line 53, characters 20-53 + Called from Owi__Syntax.let+ in file "src/utils/syntax.ml", line 9, characters 43-48 + Called from Owi__Assigned.assign_type in file "src/text_to_binary/assigned.ml", lines 44-54, characters 4-63 + Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34 + Called from Owi__Assigned.assign_types in file "src/text_to_binary/assigned.ml", line 87, characters 13-70 + Called from Owi__Assigned.of_grouped in file "src/text_to_binary/assigned.ml", line 131, characters 13-31 + Called from Owi__Compile.Text.until_binary in file "src/ast/compile.ml", line 20, characters 13-35 + Called from Owi__Compile.Text.until_binary_validate in file "src/ast/compile.ml", line 24, characters 13-35 + Called from Owi__Compile.Text.until_optimize in file "src/ast/compile.ml", line 31, characters 13-44 + Called from Owi__Compile.Text.until_link in file "src/ast/compile.ml", line 35, characters 13-47 + Called from Owi__Compile.Text.until_interpret in file "src/ast/compile.ml", line 39, characters 25-72 + Called from Owi__Script.run.(fun) in file "src/script/script.ml", line 160, characters 10-80 + Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34 + Called from Owi__Script.exec in file "src/script/script.ml", line 290, characters 21-56 + Called from Owi__Syntax.list_iter.(fun) in file "src/utils/syntax.ml", line 18, characters 14-17 + Called from Stdlib__List.iter in file "list.ml", line 112, characters 12-15 + Called from Owi__Syntax.list_iter in file "src/utils/syntax.ml", lines 16-23, characters 4-7 + Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24 + Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44 [125] $ owi script --no-exhaustion reference/proposals/gc/ref_test.wast unknown operator unknown operator "any.convert_extern" diff --git a/test/sym/add.t b/test/sym/add.t index 3f5fa03bf..a742ff4d5 100644 --- a/test/sym/add.t +++ b/test/sym/add.t @@ -16,7 +16,8 @@ add binop: Reached problem! [13] $ owi sym add_f32.wat --no-value --deterministic-result-order - Assert failure: (f32.eq (f32.add symbol_0 symbol_1) (f32.add symbol_0 symbol_1)) + Assert failure: (f32.eq (f32.add symbol_0 symbol_1) + (f32.add symbol_0 symbol_1)) Model: (model (symbol_0 f32) @@ -24,7 +25,8 @@ add binop: Reached problem! [13] $ owi sym add_f64.wat --no-value --deterministic-result-order - Assert failure: (f64.eq (f64.add symbol_0 symbol_1) (f64.add symbol_0 symbol_1)) + Assert failure: (f64.eq (f64.add symbol_0 symbol_1) + (f64.add symbol_0 symbol_1)) Model: (model (symbol_0 f64) diff --git a/test/sym/div.t b/test/sym/div.t index 3d4b56a5e..26d2c4782 100644 --- a/test/sym/div.t +++ b/test/sym/div.t @@ -26,7 +26,8 @@ div binop: Reached 2 problems! [13] $ owi sym div_f32.wat --no-value --deterministic-result-order -w1 - Assert failure: (f32.eq (f32.div symbol_0 symbol_1) (f32.div symbol_0 symbol_1)) + Assert failure: (f32.eq (f32.div symbol_0 symbol_1) + (f32.div symbol_0 symbol_1)) Model: (model (symbol_0 f32) @@ -34,7 +35,8 @@ div binop: Reached problem! [13] $ owi sym div_f64.wat --no-value --deterministic-result-order -w1 - Assert failure: (f64.eq (f64.div symbol_0 symbol_1) (f64.div symbol_0 symbol_1)) + Assert failure: (f64.eq (f64.div symbol_0 symbol_1) + (f64.div symbol_0 symbol_1)) Model: (model (symbol_0 f64) diff --git a/test/sym/mul.t b/test/sym/mul.t index 82305e78a..05697e170 100644 --- a/test/sym/mul.t +++ b/test/sym/mul.t @@ -16,7 +16,8 @@ mul binop: Reached problem! [13] $ owi sym mul_f32.wat --no-value --deterministic-result-order - Assert failure: (f32.eq (f32.mul symbol_0 symbol_1) (f32.mul symbol_0 symbol_1)) + Assert failure: (f32.eq (f32.mul symbol_0 symbol_1) + (f32.mul symbol_0 symbol_1)) Model: (model (symbol_0 f32) @@ -24,7 +25,8 @@ mul binop: Reached problem! [13] $ owi sym mul_f64.wat --no-value --deterministic-result-order - Assert failure: (f64.eq (f64.mul symbol_0 symbol_1) (f64.mul symbol_0 symbol_1)) + Assert failure: (f64.eq (f64.mul symbol_0 symbol_1) + (f64.mul symbol_0 symbol_1)) Model: (model (symbol_0 f64) diff --git a/test/sym/sub.t b/test/sym/sub.t index 975cc3282..ef8d0c39e 100644 --- a/test/sym/sub.t +++ b/test/sym/sub.t @@ -16,7 +16,8 @@ sub binop: Reached problem! [13] $ owi sym sub_f32.wat --no-value --deterministic-result-order - Assert failure: (f32.eq (f32.sub symbol_0 symbol_1) (f32.sub symbol_0 symbol_1)) + Assert failure: (f32.eq (f32.sub symbol_0 symbol_1) + (f32.sub symbol_0 symbol_1)) Model: (model (symbol_0 f32) @@ -24,7 +25,8 @@ sub binop: Reached problem! [13] $ owi sym sub_f64.wat --no-value --deterministic-result-order - Assert failure: (f64.eq (f64.sub symbol_0 symbol_1) (f64.sub symbol_0 symbol_1)) + Assert failure: (f64.eq (f64.sub symbol_0 symbol_1) + (f64.sub symbol_0 symbol_1)) Model: (model (symbol_0 f64) diff --git a/test/wasm2wat/output.t b/test/wasm2wat/output.t index ad270c4f6..a3f3c79d7 100644 --- a/test/wasm2wat/output.t +++ b/test/wasm2wat/output.t @@ -1,9 +1,7 @@ $ owi wasm2wat done.wasm -o bar.wat $ owi fmt bar.wat (module - (type (sub final (func (param i32) (param i32) (result i32)))) - (type (sub final (func))) (func (param i32) (param i32) (result i32) local.get 0