aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
authorEduardo Julian2017-05-29 22:01:12 -0400
committerEduardo Julian2017-05-29 22:01:12 -0400
commit9ca82858b0e15800972ca7b2a776190a8d4b371c (patch)
tree806e253f0c7c218ceae1f32c8157b91dc3dd5242 /stdlib
parent76d520507cf352181f8e9705497bd99a925213ad (diff)
- Small refactorings.
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>