diff options
| author | Eduardo Julian | 2014-12-08 20:36:41 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2014-12-08 20:36:41 -0400 |
| commit | c68be3366cb67ff96ec88904ccc9d1efd7a78bed (patch) | |
| tree | 720aff5c5cc6960aec6e66130edf5397263a793d /test2.lang | |
| parent | 8f8467773fa2c5fb6556355a826b03050f75824e (diff) | |
Added modules.
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 2109ea20c..7c1f35f38 100644 --- a/test2.lang +++ b/test2.lang @@ -1,3 +1,4 @@ +(module) (ann-class java.lang.String) @@ -9,6 +10,7 @@ fields (: out java.io.PrintStream)) +#( (ann id #type (All [x] (-> [x] x))) )# (def (id x) x) |