diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/type.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/type.lux b/stdlib/source/lux/type.lux index a58c87360..76620ea40 100644 --- a/stdlib/source/lux/type.lux +++ b/stdlib/source/lux/type.lux @@ -102,8 +102,8 @@ _ [num-args type])))] - [flatten-univq #;UnivQ] - [flatten-exq #;ExQ] + [flatten-univ-q #;UnivQ] + [flatten-ex-q #;ExQ] ) (def: #export (flatten-function type) @@ -320,8 +320,8 @@ +0 body _ (<tag> (list) (<name> (n.dec size) body))))] - [univq #;UnivQ] - [exq #;ExQ] + [univ-q #;UnivQ] + [ex-q #;ExQ] ) (def: #export (quantified? type) |