diff options
Diffstat (limited to 'test.sh')
-rwxr-xr-x | test.sh | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -13,9 +13,13 @@ run() { fi } -run './test/ack.resp' '8189 : Int' -run './test/def.resp' '3 : Int' -run './test/fac.resp' '720 : Int' -run './test/poly.resp' '#t : Bool' -run './test/nest.resp' '6 : Int' -run './test/tup.resp' '5 : Int' +run './test/ack.resp' '8189 : Int' +run './test/closure.resp' '6 : Int' +run './test/def.resp' '4 : Int' +run './test/deffn.resp' '3 : Int' +run './test/fac.resp' '720 : Int' +run './test/inlinefn.resp' '2 : Int' +run './test/nest.resp' '8 : Int' +run './test/tup.resp' '5 : Int' + +#run './test/poly.resp' '#t : Bool' |