lib: add outpost ipv6 address

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

diff --git a/tests/test.dtl b/tests/test.dtl
index 38c1af7..c3c2a19 100644 (file)
--- a/tests/test.dtl
+++ b/tests/test.dtl
@@ -1,8 +1,14 @@
-name <- Name;
-Name = (\x : (int) -> "Freddy") name;
-let
-       Name = 17
-in
-       Name = 13
-end
+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