diff options
author | Eduardo Julian | 2018-07-10 20:42:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-10 20:42:57 -0400 |
commit | 83f18eb967cfaa4f3403f58f3f80bc4945218cd8 (patch) | |
tree | f9fd11a101ecf7b8264922446943d4844f5ea1e9 /stdlib/source/lux/lang/type/check.lux | |
parent | 2f4233ded0dce94c12f52db5fef0769670c78fdd (diff) |
- Re-named path "lux/data/coll/*" to "lux/data/collection/*".
Diffstat (limited to 'stdlib/source/lux/lang/type/check.lux')
-rw-r--r-- | stdlib/source/lux/lang/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/lang/type/check.lux b/stdlib/source/lux/lang/type/check.lux index fa21654b7..84b9f808d 100644 --- a/stdlib/source/lux/lang/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -8,8 +8,8 @@ [number "nat/" Codec<Text,Nat>] [maybe] [product] - (coll [list] - [set #+ Set]) + (collection [list] + [set #+ Set]) ["e" error]) (lang [type "type/" Equivalence<Type>]) )) |