Made a correction to lux.lux and the analyser regarding how to handle type-vars.

1 files changed, 4 insertions, 3 deletions

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