aboutsummaryrefslogtreecommitdiffstats
path: root/test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'test.sh')
-rwxr-xr-xtest.sh32
1 files changed, 21 insertions, 11 deletions
diff --git a/test.sh b/test.sh
index 09432a7..fa01f80 100755
--- a/test.sh
+++ b/test.sh
@@ -13,16 +13,26 @@ run() {
fi
}
-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/string.resp' '"Hello, world!" : String'
-run './test/let.resp' '5 : Int'
-run './test/match.resp' '"Hello, rectangle!" : String'
+# Basic lexical sanity
+run './test/def.resp' '4 : Int'
+run './test/deffn.resp' '3 : Int'
+run './test/inlinefn.resp' '2 : Int'
+run './test/nest.resp' '8 : Int'
+
+# Basic data types
+run './test/string.resp' '"Hello, world!" : String'
+run './test/tup.resp' '5 : Int'
+
+# Recursive arithmetic functions
+run './test/fac.resp' '720 : Int'
+run './test/ack.resp' '8189 : Int'
+
+# Closures
+run './test/closure.resp' '6 : Int'
+run './test/let-over-fn.resp' '2 : Int'
+run './test/let.resp' '5 : Int'
+
+# Algebraic data types
+run './test/match.resp' '"Hello, rectangle!" : String'
#run './test/poly.resp' '#t : Bool'