summaryrefslogtreecommitdiff
path: root/test/typecheck/bad-if-type-mismatch.txt
Commit message (Expand)AuthorAgeFilesLines
* Remove check from binary-reader-interp.cc that the validator already catches....Sam Clegg2021-12-131-1/+1
* `wat2wasm` is no longer default TOOL for tests (#735)Ben Smith2018-01-251-1/+2
* Better type-checking errors (#662)Ben Smith2017-10-301-1/+1
* Rewrite parser as recursive descent (#591)Ben Smith2017-08-151-1/+1
* Remove BinaryErrorHandler, rename SourceErrorHandler (#553)Ben Smith2017-07-061-1/+1
* Update testsuite; various lexing/parsing fixes (#482)Ben Smith2017-06-071-1/+1
* Full typechecking for unreachable code (#302)Ben Smith2017-02-141-10/+4
* Update test/run-tests.py (#255)Ben Smith2017-01-051-3/+3
* Convert tests to new flat syntax (#227)Kwadwo 'Que' Amankwa2016-11-281-13/+16
* Update 'dump' tests for binary_0xcSam Clegg2016-09-291-2/+8
* Fix typecheck testsBen Smith2016-09-291-7/+8
* use post-order style ifBen Smith2016-04-281-1/+1
* simplify if blocksBen Smith2016-03-191-1/+1
* use if/then/else instead of if/if_elseBen Smith2016-03-031-1/+1
* nicer errors for wasm-check tooBen Smith2016-02-261-0/+2
* check ASTBen Smith2015-12-031-1/+1
* add if_else keywordBen Smith2015-11-091-1/+1
* change prefix for test file formatBen Smith2015-10-131-2/+3
* added flag to typecheck like the spec repoBen Smith2015-10-081-2/+5
* include filename in error outputBen Smith2015-09-161-1/+1
* match new naming schemeBen Smith2015-09-041-1/+1
* typecheck if branches more correctlyBen Smith2015-09-031-1/+1
* move typecheck tests to typecheck directoryBen Smith2015-09-031-0/+5