diff options
| author | Eduardo Julian | 2017-05-29 22:01:12 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-05-29 22:01:12 -0400 |
| commit | 9ca82858b0e15800972ca7b2a776190a8d4b371c (patch) | |
| tree | 806e253f0c7c218ceae1f32c8157b91dc3dd5242 | |
| parent | 76d520507cf352181f8e9705497bd99a925213ad (diff) | |
- Small refactorings.
Diffstat (limited to '')
| -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> |