From 968eb87adef6d62803543adf2ec51049527ccb33 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 28 Sep 2015 21:22:42 -0400
Subject: - Added a rule that Void is a subtype of every other type. - Added
 the type-checking rules for existential quantification (ExQ). - Fixed one of
 the rules for type-checking universal quantification (UnivQ).

---
 source/lux/data/list.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'source')

diff --git a/source/lux/data/list.lux b/source/lux/data/list.lux
index 7b9d4a60b..563282f32 100644
--- a/source/lux/data/list.lux
+++ b/source/lux/data/list.lux
@@ -190,7 +190,7 @@
     (#;Cons [x (#;Cons [sep (interpose sep xs')])])))
 
 (def #export (size list)
-  (-> List Int)
+  (All [a] (-> (List a) Int))
   (foldL (lambda [acc _] (i:+ 1 acc)) 0 list))
 
 (do-template [<name> <init> <op>]
-- 
cgit v1.2.3