diff options
Diffstat (limited to '')
-rw-r--r-- | src/lux/analyser/base.clj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lux/analyser/base.clj b/src/lux/analyser/base.clj index 2e431770a..710da6eda 100644 --- a/src/lux/analyser/base.clj +++ b/src/lux/analyser/base.clj @@ -6,7 +6,7 @@ (ns lux.analyser.base (:require clojure.core.match clojure.core.match.array - (lux [base :as & :refer [deftags |let |do return fail |case]] + (lux [base :as & :refer [deftags |let |do return* return fail |case]] [type :as &type]))) ;; [Tags] @@ -185,7 +185,7 @@ (return ?module))] (return (&/T module* ?name)))) -(let [tag-names #{"DataT" "VariantT" "TupleT" "LambdaT" "BoundT" "VarT" "ExT" "UnivQ" "ExQ" "AppT" "NamedT"}] +(let [tag-names #{"DataT" "VoidT" "UnitT" "VariantT" "TupleT" "LambdaT" "BoundT" "VarT" "ExT" "UnivQ" "ExQ" "AppT" "NamedT"}] (defn type-tag? [module name] (and (= "lux" module) (contains? tag-names name)))) |