Typechecking for basic language done

[clinton/domtool2.git] / tests / test.dtl

diff --git a/tests/test.dtl b/tests/test.dtl
index b23f578..38c1af7 100644 (file)
--- a/tests/test.dtl
+++ b/tests/test.dtl
@@ -1,3 +1,8 @@
-(\x -> [x, 7]) 13;
-0
+name <- Name;
+Name = (\x : (int) -> "Freddy") name;
+let
+       Name = 17
+in
+       Name = 13
+end