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/case.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/new-luxc/source/luxc/analyser/case.lux b/new-luxc/source/luxc/analyser/case.lux
index 306618caf..7d580f3b4 100644
--- a/new-luxc/source/luxc/analyser/case.lux
+++ b/new-luxc/source/luxc/analyser/case.lux
@@ -55,7 +55,7 @@
     (do Monad<Lux>
       [[ex-id exT] (&;within-type-env
                     TC;existential)]
-      (simplify-case-type (assume (type;apply-type type exT))))
+      (simplify-case-type (assume (type;apply (list exT) type))))
 
     _
     (:: Monad<Lux> wrap type)))
-- 
cgit v1.2.3