diff options
| author | Eduardo Julian | 2016-01-02 17:55:38 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-01-02 17:55:38 -0400 |
| commit | 9815881b839528ed139a6e8a7b0646d4d3ecbf46 (patch) | |
| tree | 5a91b572f089fe905506c7b634d65913e1f1d3ea /src/lux/analyser/base.clj | |
| parent | ee48a4bd1b2f2df2d2a7bb87cc18b672a13546c1 (diff) | |
- Added the VoidT and UnitT types.
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)))) |