diff options
Diffstat (limited to 'test2.lang')
-rw-r--r-- | test2.lang | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test2.lang b/test2.lang index f248c3d0d..ecf6a234b 100644 --- a/test2.lang +++ b/test2.lang @@ -12,6 +12,9 @@ (defclass Tagged [[java.lang.String tag] [java.lang.Object data]]) +(definterface Function + (: apply (-> [java.lang.Object] java.lang.Object))) + #( (ann id #type (All [x] (-> [x] x))) )# (def (id x) x) |