Domains example

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

diff --git a/tests/test.dtl b/tests/test.dtl
index 8a6ae2c..c3c2a19 100644 (file)
--- a/tests/test.dtl
+++ b/tests/test.dtl
@@ -1,6 +1,14 @@
-\x : ([int] -> [Root]) -> x;
-let
-       Day = "Tuesday"
-in
-       kill monkeys
+extern val tweak : int -> [Root];
+
+extern val tickle : string -> A => Root;
+extern val tackle : [A];
+extern val twitch : int -> [A];
+
+tweak 42;
+Choice = 19;
+tickle "yourself" with
+       tackle;
+       tackle;
+       choice <- Choice;
+       twitch choice

 end
 end