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/inference.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/new-luxc/source/luxc/analyser/inference.lux b/new-luxc/source/luxc/analyser/inference.lux
index 11ec58eb3..8390a890c 100644
--- a/new-luxc/source/luxc/analyser/inference.lux
+++ b/new-luxc/source/luxc/analyser/inference.lux
@@ -31,7 +31,7 @@
     ([#;Sum]
      [#;Product]
      [#;Function]
-     [#;App])
+     [#;Apply])
     
     (#;Var id)
     (if (n.= var-id id)
@@ -74,7 +74,7 @@
       (&common;with-var
         (function [[var-id varT]]
           (do Monad<Lux>
-            [[outputT argsA] (apply-function analyse (assume (type;apply-type funcT varT)) args)]
+            [[outputT argsA] (apply-function analyse (assume (type;apply (list varT) funcT)) args)]
             (do @
               [? (&;within-type-env
                   (TC;bound? var-id))
@@ -90,7 +90,7 @@
       (do Monad<Lux>
         [[ex-id exT] (&;within-type-env
                       TC;existential)]
-        (apply-function analyse (assume (type;apply-type funcT exT)) args))
+        (apply-function analyse (assume (type;apply (list exT) funcT)) args))
 
       ## Arguments are inferred back-to-front because, by convention,
       ## Lux functions take the most important arguments *last*, which
-- 
cgit v1.2.3