diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-bootstrapper/src/lux/analyser/case.clj | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lux-bootstrapper/src/lux/analyser/case.clj b/lux-bootstrapper/src/lux/analyser/case.clj index 39adc09f5..ef339587b 100644 --- a/lux-bootstrapper/src/lux/analyser/case.clj +++ b/lux-bootstrapper/src/lux/analyser/case.clj @@ -48,13 +48,15 @@ (&/$UnivQ _) (|do [$var &type/existential - =type (&type/apply-type type $var)] - (&type/actual-type =type)) + =type (&type/apply-type type $var) + ==type (&type/actual-type =type)] + (resolve-type ==type)) (&/$ExQ _ _) (|do [$var &type/existential - =type (&type/apply-type type $var)] - (&type/actual-type =type)) + =type (&type/apply-type type $var) + ==type (&type/actual-type =type)] + (resolve-type ==type)) _ (&type/actual-type type)))) |