diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/simple_scattered.sail | 2 | ||||
| -rwxr-xr-x | test/typecheck/run_tests.sh | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/test/typecheck/pass/simple_scattered.sail b/test/typecheck/pass/simple_scattered.sail index bb4a1a14..01bf7ad8 100644 --- a/test/typecheck/pass/simple_scattered.sail +++ b/test/typecheck/pass/simple_scattered.sail @@ -1,6 +1,6 @@ default Order dec -scattered union ast ('datasize : Int) ('destsize : Int) ('regsize : Int) +scattered union ast('datasize : Int, 'destsize : Int, 'regsize : Int) val execute : forall ('datasize : Int) ('destsize : Int) ('regsize : Int). ast('datasize, 'destsize, 'regsize) -> unit diff --git a/test/typecheck/run_tests.sh b/test/typecheck/run_tests.sh index a7639e87..ad2592df 100755 --- a/test/typecheck/run_tests.sh +++ b/test/typecheck/run_tests.sh @@ -50,9 +50,9 @@ printf "<testsuites>\n" >> $DIR/tests.xml for i in `ls $DIR/pass/ | grep sail`; do - if $SAILDIR/sail -ddump_tc_ast -dsanity $DIR/pass/$i 2> /dev/null 1> $DIR/rtpass/$i; + if $SAILDIR/sail -just_check -ddump_tc_ast -dsanity $DIR/pass/$i 2> /dev/null 1> $DIR/rtpass/$i; then - if $SAILDIR/sail -ddump_tc_ast -dmagic_hash -dno_cast -dsanity $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i; + if $SAILDIR/sail -just_check -ddump_tc_ast -dmagic_hash -dno_cast -dsanity $DIR/rtpass/$i 2> /dev/null 1> $DIR/rtpass2/$i; then if diff $DIR/rtpass/$i $DIR/rtpass2/$i; then |