Basic type-checking

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

diff --git a/tests/test.dtl b/tests/test.dtl
index c026ea2..b23f578 100644 (file)
--- a/tests/test.dtl
+++ b/tests/test.dtl
@@ -1,6 +1,3 @@
-\x : ([int] -> [Root]) -> x X;
-let
-       Day = "Tuesday"
-in
-       Kill monkeys
-end
+(\x -> [x, 7]) 13;
+0
+