diff options
Diffstat (limited to '')
| -rw-r--r-- | src/lux/analyser.clj | 2 |
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*))) |