Moved "lux/language/type/*" to "lux/type/*".

4 files changed, 7 insertions, 14 deletions

diff --git a/stdlib/source/lux/macro/poly.lux b/stdlib/source/lux/macro/poly.lux
index 96d806c81..964f857a1 100644
--- a/stdlib/source/lux/macro/poly.lux
+++ b/stdlib/source/lux/macro/poly.lux
@@ -25,10 +25,8 @@
      [common
       ["csr" reader]
       ["csw" writer]]]]
-   [language
-    ["." type ("type/." Equivalence<Type>)
-     ["." check]]]
-   ])
+   ["." type ("type/." Equivalence<Type>)
+    ["." check]]])
 
 (type: #export Env (Dictionary Nat [Type Code]))
 
diff --git a/stdlib/source/lux/macro/poly/equivalence.lux b/stdlib/source/lux/macro/poly/equivalence.lux
index 1dd8757e4..ae910874c 100644
--- a/stdlib/source/lux/macro/poly/equivalence.lux
+++ b/stdlib/source/lux/macro/poly/equivalence.lux
@@ -29,10 +29,8 @@
     [syntax (#+ syntax: Syntax)
      ["." common]]
     ["." poly (#+ poly:)]]
-   [type
-    ["." unit]]
-   [language
-    ["." type]]])
+   ["." type
+    ["." unit]]])
 
 ## [Derivers]
 (poly: #export Equivalence<?>
diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux
index 45cf169f7..90a2ecde0 100644
--- a/stdlib/source/lux/macro/poly/functor.lux
+++ b/stdlib/source/lux/macro/poly/functor.lux
@@ -15,8 +15,7 @@
     [syntax (#+ syntax: Syntax)
      ["." common]]
     ["." poly (#+ poly:)]]
-   [language
-    ["." type]]])
+   ["." type]])
 
 (poly: #export Functor<?>
   (do @
diff --git a/stdlib/source/lux/macro/poly/json.lux b/stdlib/source/lux/macro/poly/json.lux
index 66014ae56..596d24b18 100644
--- a/stdlib/source/lux/macro/poly/json.lux
+++ b/stdlib/source/lux/macro/poly/json.lux
@@ -30,10 +30,8 @@
     ["s" syntax (#+ syntax:)]
     ["." code]
     ["." poly (#+ poly:)]]
-   [type
-    ["." unit]]
-   [language
-    ["." type]]])
+   ["." type
+    ["." unit]]])
 
 (def: tag
   (-> Nat Frac)