diff options
| author | Alasdair Armstrong | 2017-07-06 19:01:09 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-06 19:01:09 +0100 |
| commit | 205e09e36baaf8cf2aa794e84d8e13daf8c4c4b7 (patch) | |
| tree | 55a04a38c4e932f17a12621e9d96b6f2d0a0a6e9 /test/typecheck | |
| parent | 4bb28c48b92a469b8a7eeae5ae6e32418c8936ae (diff) | |
Testing new typechecker on MIPS spec
Also:
- Added support for foreach loops
- Started work on type unions
- Flow typing can now generate constraints, in addition to restricting range-typed variables
- Various bugfixes
- Better unification for nexps with multiplication
Diffstat (limited to 'test/typecheck')
| -rwxr-xr-x | test/typecheck/run_tests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index 8926a397..a7f02f6e 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -15,6 +15,8 @@ mkdir -p $DIR/rtfail rm -f $DIR/tests.xml +cat $SAILDIR/lib/prelude.sail $SAILDIR/mips_new_tc/mips_prelude.sail > $DIR/pass/mips_prelude.sail + pass=0 fail=0 |