diff options
author | Eduardo Julian | 2015-09-28 21:22:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-09-28 21:22:42 -0400 |
commit | 968eb87adef6d62803543adf2ec51049527ccb33 (patch) | |
tree | 92d6462bae32cb57d22b1db90d47f3c2482c5887 /source | |
parent | 39a00124a102e5479271c2dbd6791979a34e1e2e (diff) |
- 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).
Diffstat (limited to '')
-rw-r--r-- | source/lux/data/list.lux | 2 |
1 files changed, 1 insertions, 1 deletions
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>] |