aboutsummaryrefslogtreecommitdiff
path: root/src/lux/analyser/base.clj
diff options
context:
space:
mode:
Diffstat (limited to 'src/lux/analyser/base.clj')
-rw-r--r--src/lux/analyser/base.clj10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/lux/analyser/base.clj b/src/lux/analyser/base.clj
index 656b13c44..7674f4503 100644
--- a/src/lux/analyser/base.clj
+++ b/src/lux/analyser/base.clj
@@ -21,13 +21,13 @@
("apply" 2)
("case" 2)
("lambda" 3)
- ("ann" 3)
+ ("ann" 3) ;; Eliminate
("var" 1)
("captured" 1)
- ("host" 2)
+ ("proc" 2)
- ("jvm-class" 1)
- ("jvm-interface" 1)
+ ("jvm-class" 1) ;; Eliminate
+ ("jvm-interface" 1) ;; Eliminate
)
;; [Exports]
@@ -75,7 +75,7 @@
(return ?module))]
(return (&/T [module* ?name]))))
-(let [tag-names #{"DataT" "VoidT" "UnitT" "SumT" "ProdT" "LambdaT" "BoundT" "VarT" "ExT" "UnivQ" "ExQ" "AppT" "NamedT"}]
+(let [tag-names #{"HostT" "VoidT" "UnitT" "SumT" "ProdT" "LambdaT" "BoundT" "VarT" "ExT" "UnivQ" "ExQ" "AppT" "NamedT"}]
(defn type-tag? [module name]
(and (= "lux" module)
(contains? tag-names name))))