diff options
| -rw-r--r-- | stdlib/source/lux/type.lux | 8 | ||||
| -rw-r--r-- | stdlib/test/test/lux/type.lux | 4 |
2 files changed, 6 insertions, 6 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) diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index e0087960f..543484bb8 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -149,8 +149,8 @@ (and (n.= size flat-size) (&/= extra flat-body))))] - ["universally-quantified" &;univq &;flatten-univq] - ["existentially-quantified" &;exq &;flatten-exq] + ["universally-quantified" &;univ-q &;flatten-univ-q] + ["existentially-quantified" &;ex-q &;flatten-ex-q] )] ($_ seq <quant-tests> |