From 205e09e36baaf8cf2aa794e84d8e13daf8c4c4b7 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 6 Jul 2017 19:01:09 +0100
Subject: 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
---
 test/typecheck/run_tests.sh | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/typecheck')

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
 
-- 
cgit v1.2.3