From 9ca82858b0e15800972ca7b2a776190a8d4b371c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 29 May 2017 22:01:12 -0400
Subject: - Small refactorings.

---
 stdlib/source/lux/type.lux    | 8 ++++----
 stdlib/test/test/lux/type.lux | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib')

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>
-- 
cgit v1.2.3