diff options
author | Eduardo Julian | 2014-12-09 02:09:11 -0400 |
---|---|---|
committer | Eduardo Julian | 2014-12-09 02:09:11 -0400 |
commit | 58bfb46ba16fc1db07e501be6fcc0c940ec7a350 (patch) | |
tree | 8e8c6f9ad9f3cc9c2bcf4046017e3e9225670786 /test2.lang | |
parent | bad2695169969e6ee7551d2a2c23d9c4e1b656fb (diff) |
Now compiling tagged values.
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 8e878641f..0dd69acb9 100644 --- a/test2.lang +++ b/test2.lang @@ -10,13 +10,15 @@ fields (: out java.io.PrintStream)) -(defclass Tagged [[java.lang.String tag] [java.lang.Object data]]) +(defclass Tagged [[java.lang.String tag] [java.lang.Object value]]) (definterface Function (: apply (-> [java.lang.Object] java.lang.Object))) (def const "IDENTITY") +(def sample (#Tag "value")) + ## (ann id #type (All [x] (-> [x] x))) (def (id x) x) |