diff options
Diffstat (limited to 'test2.lang')
| -rw-r--r-- | test2.lang | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test2.lang b/test2.lang index 7c1f35f38..f248c3d0d 100644 --- a/test2.lang +++ b/test2.lang @@ -10,6 +10,8 @@ fields (: out java.io.PrintStream)) +(defclass Tagged [[java.lang.String tag] [java.lang.Object data]]) + #( (ann id #type (All [x] (-> [x] x))) )# (def (id x) x) |