aboutsummaryrefslogtreecommitdiff
path: root/src/lux/analyser.clj
diff options
context:
space:
mode:
Diffstat (limited to 'src/lux/analyser.clj')
-rw-r--r--src/lux/analyser.clj2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lux/analyser.clj b/src/lux/analyser.clj
index 0ad6553bf..f8dd13bd6 100644
--- a/src/lux/analyser.clj
+++ b/src/lux/analyser.clj
@@ -529,7 +529,7 @@
(fn [?var]
(|do [[?output-term ?output-type] (&&/analyse-1 analyser ?var syntax)]
(|case [?var ?output-type]
- [("lux;VarT" ?e-id) ("lux;VarT" ?a-id)]
+ [(&/$VarT ?e-id) (&/$VarT ?a-id)]
(if (= ?e-id ?a-id)
(|do [?output-type* (&type/deref ?e-id)]
(return (&/T ?output-term ?output-type*)))