HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Custom base types
[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