diff options
Diffstat (limited to 'src/lux/analyser/case.clj')
-rw-r--r-- | src/lux/analyser/case.clj | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/lux/analyser/case.clj b/src/lux/analyser/case.clj index c4372b4a1..3480e50c6 100644 --- a/src/lux/analyser/case.clj +++ b/src/lux/analyser/case.clj @@ -66,8 +66,9 @@ (&/$UnivQ _aenv _abody) (&type/with-var (fn [$var] - (|do [=type (&type/apply-type type $var)] - (adjust-type* (&/Cons$ (&/T [_aenv 1 $var]) (&/|map update-up-frame up)) =type)))) + (|do [=type (&type/apply-type type $var) + ==type (adjust-type* (&/Cons$ (&/T [_aenv 1 $var]) (&/|map update-up-frame up)) =type)] + (&type/clean $var ==type)))) (&/$ExQ _aenv _abody) (|do [$var &type/existential |