diff options
Diffstat (limited to 'luxc')
| -rw-r--r-- | luxc/src/lux/type.clj | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj index d5d6b0316..84c00b978 100644 --- a/luxc/src/lux/type.clj +++ b/luxc/src/lux/type.clj @@ -32,13 +32,20 @@ (def Ident (&/$Named (&/T ["lux" "Ident"]) (&/$Product Text Text))) (do-template [<name> <tag>] - (defn <name> [elem-type] - (&/$Primitive <tag> (&/|list elem-type))) + (defn <name> [elemT] + (&/$Primitive <tag> (&/|list elemT))) Array "#Array" Atom "#Atom" ) +(do-template [<name> <tag>] + (defn <name> [threadT elemT] + (&/$Primitive <tag> (&/|list threadT elemT))) + + Box "#Box" + ) + (def Bottom (&/$Named (&/T ["lux" "Bottom"]) (&/$UnivQ empty-env |