diff options
Diffstat (limited to 'test.sh')
-rwxr-xr-x | test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,6 +22,7 @@ run './test/inlinefn.resp' '2 : Int' run './test/nest.resp' '8 : Int' run './test/tup.resp' '5 : Int' run './test/string.resp' '"Hello, world!" : String' +run './test/let.resp' '5 : Int' run './test/match.resp' '"Hello, rectangle!" : String' #run './test/poly.resp' '#t : Bool' |