tests/test.dtl

   1 extern val tweak : int -> [Root];
   2
   3 extern val tickle : string -> A => Root;
   4 extern val tackle : [A];
   5 extern val twitch : int -> [A];
   6
   7 tweak 42;
   8 Choice = 19;
   9 tickle "yourself" with
  10         tackle;
  11         tackle;
  12         choice <- Choice;
  13         twitch choice
  14 end