aboutsummaryrefslogtreecommitdiffstats
path: root/test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'test.sh')
-rwxr-xr-xtest.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/test.sh b/test.sh
index e800625..d344aaf 100755
--- a/test.sh
+++ b/test.sh
@@ -21,5 +21,6 @@ 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/string.resp' '"Hello, world!" : String'
#run './test/poly.resp' '#t : Bool'