X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a22c187b7b983dad6b0e2c34cd0ab74e95c2411b..6be996d467429cc09f81becd3fd4e294ae1871ae:/tests/test.dtl diff --git a/tests/test.dtl b/tests/test.dtl index c026ea2..c3c2a19 100644 --- a/tests/test.dtl +++ b/tests/test.dtl @@ -1,6 +1,14 @@ -\x : ([int] -> [Root]) -> x 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