- Added an extra rule to the type-checker to avoid some stack-overflow errors.

1 files changed, 4 insertions, 0 deletions

diff --git a/src/lux/type.clj b/src/lux/type.clj
index 774d6b4d8..ad76fbadc 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -629,6 +629,7 @@
     (&/$NamedT ?name ?type)
     (apply-type ?type param)
 
+    ;; TODO: This one must go...
     (&/$ExT id)
     (return (&/$AppT type-fn param))
 
@@ -767,6 +768,9 @@
             (|do [expected* (apply-type F A)]
               (check* class-loader (fp-put fp-pair true fixpoints) invariant?? expected* actual))))
 
+        [_ (&/$AppT (&/$ExT aid) A)]
+        (check-error "" expected actual)
+
         [_ (&/$AppT F A)]
         (|do [actual* (apply-type F A)]
           (check* class-loader fixpoints invariant?? expected actual*))