X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/db427c6775f4d2babcabadbbea93117f593259c6..93278775f0877b33c24e18cc9fa837c315d95fcc:/tests/test.dtl?ds=sidebyside diff --git a/tests/test.dtl b/tests/test.dtl index 38c1af7..c3c2a19 100644 --- 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