diff options
| author | Eduardo Julian | 2014-12-09 00:11:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2014-12-09 00:11:32 -0400 |
| commit | 36de85ef43d60e29f4aeb622fb449cabb506e2d8 (patch) | |
| tree | ccbaeb52afd37a8111593ae966d498def24a2791 /test2.lang | |
| parent | 04259ac74894f5e0b3319efe17c833b179d483e3 (diff) | |
Modules can now contain definitions of simple interfaces, with only method declarations.
Diffstat (limited to '')
| -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) |