Alternative names for (un)quoting macros.

11 files changed, 8 insertions, 8 deletions

diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/meta/type.lux
index 9f753b1d0..9f753b1d0 100644
--- a/stdlib/source/test/lux/type.lux
+++ b/stdlib/source/test/lux/meta/type.lux
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/meta/type/check.lux
index 89aa98285..b630d37a1 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/meta/type/check.lux
@@ -2,7 +2,6 @@
  [library
   [lux (.except symbol type)
    ["_" test (.only Test)]
-   ["[0]" type (.use "[1]#[0]" equivalence)]
    [abstract
     ["[0]" monad (.only do)]
     [\\specification
@@ -29,7 +28,8 @@
     [number
      ["n" nat]]]]]
  [\\library
-  ["[0]" /]])
+  ["[0]" / (.only)
+   ["/[1]" // (.use "[1]#[0]" equivalence)]]])
 
 ... TODO: Remove the following 3 definitions ASAP. //.type already exists...
 (def short
@@ -203,7 +203,7 @@
              (case (/.result /.fresh_context
                              (do /.monad
                                [[var_id var_type] /.var]
-                               (in (type#= var_type {.#Var var_id}))))
+                               (in (//#= var_type {.#Var var_id}))))
                {try.#Success verdict} verdict
                {try.#Failure error} false))
            (do random.monad
@@ -663,7 +663,7 @@
   (do [! random.monad]
     [nominal ..nominal
      [name/0 name/1] (..non_twins text#= (random.upper_case 10))
-     [parameter/0 parameter/1] (..non_twins type#= ..nominal)
+     [parameter/0 parameter/1] (..non_twins //#= ..nominal)
      left_name ..symbol
      right_name ..symbol
      ring_tail_size (at ! each (n.% 10) random.nat)]
@@ -734,8 +734,8 @@
       (and (|> (do /.monad
                  [[var_id varT] /.var
                   cleanedT (/.clean (list) (type_shape varT))]
-                 (in (type#= (type_shape varT)
-                             cleanedT)))
+                 (in (//#= (type_shape varT)
+                           cleanedT)))
                (/.result /.fresh_context)
                (try.else false))
            (|> (do /.monad
@@ -743,8 +743,8 @@
                   [_ replacementT] /.existential
                   _ (/.check varT replacementT)
                   cleanedT (/.clean (list) (type_shape varT))]
-                 (in (type#= (type_shape replacementT)
-                             cleanedT)))
+                 (in (//#= (type_shape replacementT)
+                           cleanedT)))
                (/.result /.fresh_context)
                (try.else false))
            ))))
diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/meta/type/dynamic.lux
index 595a1da05..595a1da05 100644
--- a/stdlib/source/test/lux/type/dynamic.lux
+++ b/stdlib/source/test/lux/meta/type/dynamic.lux
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/meta/type/implicit.lux
index 299ae7464..299ae7464 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/meta/type/implicit.lux
diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/meta/type/primitive.lux
index 7b4500c00..7b4500c00 100644
--- a/stdlib/source/test/lux/type/primitive.lux
+++ b/stdlib/source/test/lux/meta/type/primitive.lux
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/meta/type/quotient.lux
index 72d39b19d..72d39b19d 100644
--- a/stdlib/source/test/lux/type/quotient.lux
+++ b/stdlib/source/test/lux/meta/type/quotient.lux
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/meta/type/refinement.lux
index 711d0401f..711d0401f 100644
--- a/stdlib/source/test/lux/type/refinement.lux
+++ b/stdlib/source/test/lux/meta/type/refinement.lux
diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/meta/type/resource.lux
index a23f1cacf..a23f1cacf 100644
--- a/stdlib/source/test/lux/type/resource.lux
+++ b/stdlib/source/test/lux/meta/type/resource.lux
diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/meta/type/unit.lux
index b52ddd921..b52ddd921 100644
--- a/stdlib/source/test/lux/type/unit.lux
+++ b/stdlib/source/test/lux/meta/type/unit.lux
diff --git a/stdlib/source/test/lux/type/unit/scale.lux b/stdlib/source/test/lux/meta/type/unit/scale.lux
index adc3523b5..adc3523b5 100644
--- a/stdlib/source/test/lux/type/unit/scale.lux
+++ b/stdlib/source/test/lux/meta/type/unit/scale.lux
diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/meta/type/variance.lux
index 911c68067..911c68067 100644
--- a/stdlib/source/test/lux/type/variance.lux
+++ b/stdlib/source/test/lux/meta/type/variance.lux