diff options
| author | Eduardo Julian | 2014-12-09 00:58:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2014-12-09 00:58:48 -0400 |
| commit | bad2695169969e6ee7551d2a2c23d9c4e1b656fb (patch) | |
| tree | 60786df17a1d5d955657c752a1ebc9732b053a83 /test2.lang | |
| parent | 36de85ef43d60e29f4aeb622fb449cabb506e2d8 (diff) | |
Now can define constants in modules.
Diffstat (limited to '')
| -rw-r--r-- | test2.lang | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test2.lang b/test2.lang index ecf6a234b..8e878641f 100644 --- a/test2.lang +++ b/test2.lang @@ -15,7 +15,9 @@ (definterface Function (: apply (-> [java.lang.Object] java.lang.Object))) -#( (ann id #type (All [x] (-> [x] x))) )# +(def const "IDENTITY") + +## (ann id #type (All [x] (-> [x] x))) (def (id x) x) |