From 8b7f5c6d38d45c1f38aa2c416afbd8c38f0bfafb Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 26 Apr 2015 16:51:17 -0400
Subject: Made a correction to lux.lux and the analyser regarding how to handle
 type-vars.

---
 source/lux.lux | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'source')

diff --git a/source/lux.lux b/source/lux.lux
index 19a89c8ee..c5a532a2a 100644
--- a/source/lux.lux
+++ b/source/lux.lux
@@ -516,9 +516,10 @@
          (fold f (f init x) xs')))
 
 (def (reverse' list)
-  (->' ($' List Syntax) ($' List Syntax))
-  (fold (:' (->' ($' List Syntax) Syntax
-                 ($' List Syntax))
+  (All' [a]
+        (->' ($' List (B' a)) ($' List (B' a))))
+  (fold (:' (All' [a]
+                  (->' ($' List (B' a)) (B' a) ($' List (B' a))))
             (lambda [tail head]
               (#Cons [head tail])))
         #Nil
-- 
cgit v1.2.3