From 36cf0c61991bda395e224fa2d435fa6b6f5090e5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 27 Jun 2017 17:52:52 -0400
Subject: - Adapted compiler to the latest stdlib changes.

---
 new-luxc/source/luxc/analyser/structure.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/analyser/structure.lux')

diff --git a/new-luxc/source/luxc/analyser/structure.lux b/new-luxc/source/luxc/analyser/structure.lux
index 37266b2fe..267dfec84 100644
--- a/new-luxc/source/luxc/analyser/structure.lux
+++ b/new-luxc/source/luxc/analyser/structure.lux
@@ -68,13 +68,13 @@
         (do @
           [[var-id var] (&;within-type-env
                          TC;existential)]
-          (&;with-expected-type (assume (type;apply-type expected var))
+          (&;with-expected-type (assume (type;apply (list var) expected))
             (analyse-sum analyse tag valueC)))
 
         (#;ExQ _)
         (&common;with-var
           (function [[var-id var]]
-            (&;with-expected-type (assume (type;apply-type expected var))
+            (&;with-expected-type (assume (type;apply (list var) expected))
               (analyse-sum analyse tag valueC))))
         
         _
@@ -165,13 +165,13 @@
         (do @
           [[var-id var] (&;within-type-env
                          TC;existential)]
-          (&;with-expected-type (assume (type;apply-type expected var))
+          (&;with-expected-type (assume (type;apply (list var) expected))
             (analyse-product analyse membersC)))
 
         (#;ExQ _)
         (&common;with-var
           (function [[var-id var]]
-            (&;with-expected-type (assume (type;apply-type expected var))
+            (&;with-expected-type (assume (type;apply (list var) expected))
               (analyse-product analyse membersC))))
         
         _
-- 
cgit v1.2.3