aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/type.lux8
-rw-r--r--stdlib/test/test/lux/type.lux4
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>