diff options
author | Eduardo Julian | 2014-12-08 23:38:12 -0400 |
---|---|---|
committer | Eduardo Julian | 2014-12-08 23:38:12 -0400 |
commit | 04259ac74894f5e0b3319efe17c833b179d483e3 (patch) | |
tree | 2f6db8ffda75fb162299b23fb4d9b7edc41eb0c2 /test2.lang | |
parent | c68be3366cb67ff96ec88904ccc9d1efd7a78bed (diff) |
Can now define inside modules: simple classes with public fields.
Diffstat (limited to '')
-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) |