diff options
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) |