- Fixed inference involving existentials.

1 files changed, 24 insertions, 3 deletions

diff --git a/new-luxc/source/luxc/lang/analysis/inference.lux b/new-luxc/source/luxc/lang/analysis/inference.lux
index 881eee4a6..3919ff78d 100644
--- a/new-luxc/source/luxc/lang/analysis/inference.lux
+++ b/new-luxc/source/luxc/lang/analysis/inference.lux
@@ -60,6 +60,17 @@
     _
     type))
 
+(def: new-named-type
+  (Meta Type)
+  (do macro.Monad<Meta>
+    [[_module _line _column] macro.cursor
+     [ex-id exT] (&.with-type-env tc.existential)]
+    (wrap (#.Primitive (format "{New Type @ " (%t _module)
+                               "," (%n _line)
+                               "," (%n _column)
+                               "} " (%n ex-id))
+                       (list)))))
+
 ## Type-inference works by applying some (potentially quantified) type
 ## to a sequence of values.
 ## Function types are used for this, although inference is not always
@@ -87,9 +98,19 @@
 
       (#.ExQ _)
       (do macro.Monad<Meta>
-        [[ex-id exT] (&.with-type-env
-                       tc.existential)]
-        (general analyse (maybe.assume (type.apply (list exT) inferT)) args))
+        [[var-id varT] (&.with-type-env tc.var)
+         output (general analyse
+                         (maybe.assume (type.apply (list varT) inferT))
+                         args)
+         bound? (&.with-type-env
+                  (tc.bound? var-id))
+         _ (if bound?
+             (wrap [])
+             (do @
+               [newT new-named-type]
+               (&.with-type-env
+                 (tc.check varT newT))))]
+        (wrap output))
 
       (#.Apply inputT transT)
       (case (type.apply (list inputT) transT)