diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-10-30 11:17:04 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30 11:17:04 -0700 |
| commit | fa0f11e9f54a8c8f4d7f0a5d2cd1cf113f30f461 (patch) | |
| tree | b0ac7297f6df3998586c0e6849c65bf1341a38c4 /test/parse/expr/bad-binary-one-expr.txt | |
| parent | b230d2f7d23d1c03aa4acf5f7de11e3865bb3727 (diff) | |
| download | wabt-fa0f11e9f54a8c8f4d7f0a5d2cd1cf113f30f461.tar.gz wabt-fa0f11e9f54a8c8f4d7f0a5d2cd1cf113f30f461.tar.bz2 wabt-fa0f11e9f54a8c8f4d7f0a5d2cd1cf113f30f461.zip | |
Better type-checking errors (#662)
Instead of printing errors on every failure, accumulate errors for each
operation. If any fails, then print a message. It changes errors such
as:
```
error: type mismatch in i64.store, expected i32 but got f32.
error: type mismatch in i64.store, expected i64 but got i32.
```
to:
```
error: type mismatch in i64.store, expected [i32, i64] but got [f32, i32]
```
Diffstat (limited to 'test/parse/expr/bad-binary-one-expr.txt')
| -rw-r--r-- | test/parse/expr/bad-binary-one-expr.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/parse/expr/bad-binary-one-expr.txt b/test/parse/expr/bad-binary-one-expr.txt index f4f0cf33..fb37156f 100644 --- a/test/parse/expr/bad-binary-one-expr.txt +++ b/test/parse/expr/bad-binary-one-expr.txt @@ -3,10 +3,10 @@ i32.const 0 i32.add)) (;; STDERR ;;; -out/test/parse/expr/bad-binary-one-expr.txt:4:4: error: type stack size too small at i32.add. got 1, expected at least 2 +out/test/parse/expr/bad-binary-one-expr.txt:4:4: error: type mismatch in i32.add, expected [i32, i32] but got [i32] i32.add)) ^^^^^^^ -out/test/parse/expr/bad-binary-one-expr.txt:4:4: error: type stack at end of function is 1, expected 0 +out/test/parse/expr/bad-binary-one-expr.txt:4:4: error: type mismatch in function, expected [] but got [i32, i32] i32.add)) ^^^^^^^ ;;; STDERR ;;) |