- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".

22 files changed, 38 insertions, 38 deletions

diff --git a/new-luxc/source/luxc/lang.lux b/new-luxc/source/luxc/lang.lux
index 844cc6755..45a8b1860 100644
--- a/new-luxc/source/luxc/lang.lux
+++ b/new-luxc/source/luxc/lang.lux
@@ -9,8 +9,8 @@
              text/format
              (coll [list]))
        [meta]
-       (meta (type ["tc" check])
-             ["s" syntax #+ syntax:]))
+       (meta ["s" syntax #+ syntax:])
+       (lang (type ["tc" check])))
   (luxc (lang ["la" analysis])))
 
 (type: #export Eval
diff --git a/new-luxc/source/luxc/lang/analysis/case.lux b/new-luxc/source/luxc/lang/analysis/case.lux
index ff328b9de..69a975b52 100644
--- a/new-luxc/source/luxc/lang/analysis/case.lux
+++ b/new-luxc/source/luxc/lang/analysis/case.lux
@@ -12,8 +12,8 @@
              text/format
              (coll [list "list/" Fold<List> Monoid<List> Functor<List>]))
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index 95355d62f..b67e8e268 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -5,7 +5,7 @@
        (data text/format
              [product])
        [meta]
-       (meta [type]
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang analysis)))
diff --git a/new-luxc/source/luxc/lang/analysis/expression.lux b/new-luxc/source/luxc/lang/analysis/expression.lux
index afc347248..98addd197 100644
--- a/new-luxc/source/luxc/lang/analysis/expression.lux
+++ b/new-luxc/source/luxc/lang/analysis/expression.lux
@@ -6,7 +6,7 @@
              [product]
              text/format)
        [meta]
-       (meta [type]
+       (lang [type]
              (type ["tc" check]))
        [host])
   (luxc ["&" lang]
diff --git a/new-luxc/source/luxc/lang/analysis/function.lux b/new-luxc/source/luxc/lang/analysis/function.lux
index 611e5c8a4..7f2787e6f 100644
--- a/new-luxc/source/luxc/lang/analysis/function.lux
+++ b/new-luxc/source/luxc/lang/analysis/function.lux
@@ -7,8 +7,8 @@
              text/format
              (coll [list "list/" Fold<List> Monoid<List> Monad<List>]))
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/inference.lux b/new-luxc/source/luxc/lang/analysis/inference.lux
index cccaa774a..910d5093a 100644
--- a/new-luxc/source/luxc/lang/analysis/inference.lux
+++ b/new-luxc/source/luxc/lang/analysis/inference.lux
@@ -7,7 +7,7 @@
              text/format
              (coll [list "list/" Functor<List>]))
        [meta "meta/" Monad<Meta>]
-       (meta [type]
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux
index 792d607c3..2a0fbfbe5 100644
--- a/new-luxc/source/luxc/lang/analysis/primitive.lux
+++ b/new-luxc/source/luxc/lang/analysis/primitive.lux
@@ -2,8 +2,8 @@
   lux
   (lux (control monad)
        [meta]
-       (meta [code]
-             (type ["tc" check])))
+       (meta [code])
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis])))
 
diff --git a/new-luxc/source/luxc/lang/analysis/procedure/common.lux b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
index a643cb76a..a394c554c 100644
--- a/new-luxc/source/luxc/lang/analysis/procedure/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/procedure/common.lux
@@ -9,8 +9,8 @@
                    [array]
                    [dict #+ Dict]))
        [meta]
-       (meta [code]
-             (type ["tc" check]))
+       (meta [code])
+       (lang (type ["tc" check]))
        [io])
   (luxc ["&" lang]
         (lang ["la" analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
index 8f5382d2b..827f3213d 100644
--- a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
+++ b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux
@@ -16,8 +16,8 @@
                    [dict #+ Dict]))
        [meta "meta/" Monad<Meta>]
        (meta [code]
-             ["s" syntax]
-             [type]
+             ["s" syntax])
+       (lang [type]
              (type ["tc" check]))
        [host])
   (luxc ["&" lang]
diff --git a/new-luxc/source/luxc/lang/analysis/reference.lux b/new-luxc/source/luxc/lang/analysis/reference.lux
index 6ba0325df..c3ff3456b 100644
--- a/new-luxc/source/luxc/lang/analysis/reference.lux
+++ b/new-luxc/source/luxc/lang/analysis/reference.lux
@@ -2,8 +2,8 @@
   lux
   (lux (control monad)
        [meta]
-       (meta [code]
-             (type ["tc" check])))
+       (meta [code])
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
               ["la" analysis #+ Analysis]
diff --git a/new-luxc/source/luxc/lang/analysis/structure.lux b/new-luxc/source/luxc/lang/analysis/structure.lux
index 76b5a3a42..70744ba5b 100644
--- a/new-luxc/source/luxc/lang/analysis/structure.lux
+++ b/new-luxc/source/luxc/lang/analysis/structure.lux
@@ -10,8 +10,8 @@
                    [dict #+ Dict])
              text/format)
        [meta]
-       (meta [code]
-             [type]
+       (meta [code])
+       (lang [type]
              (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/source/luxc/lang/analysis/type.lux b/new-luxc/source/luxc/lang/analysis/type.lux
index eb3de08de..c91fdab38 100644
--- a/new-luxc/source/luxc/lang/analysis/type.lux
+++ b/new-luxc/source/luxc/lang/analysis/type.lux
@@ -2,7 +2,7 @@
   lux
   (lux (control monad)
        [meta]
-       (meta (type ["tc" check])))
+       (lang (type ["tc" check])))
   (luxc ["&" lang]
         (lang ["la" analysis #+ Analysis])))
 
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux
index 88fc25d3a..1e631205d 100644
--- a/new-luxc/source/luxc/lang/translation.lux
+++ b/new-luxc/source/luxc/lang/translation.lux
@@ -8,8 +8,8 @@
              text/format
              (coll [dict]))
        [meta]
-       (meta (type ["tc" check]))
-       (lang [syntax])
+       (lang [syntax]
+             (type ["tc" check]))
        [host]
        [io]
        (world [file #+ File]))
diff --git a/new-luxc/source/luxc/module/descriptor/type.lux b/new-luxc/source/luxc/module/descriptor/type.lux
index 2f5b8667b..58e29c39e 100644
--- a/new-luxc/source/luxc/module/descriptor/type.lux
+++ b/new-luxc/source/luxc/module/descriptor/type.lux
@@ -8,7 +8,7 @@
              [number]
              ["e" error]
              (coll [list "L/" Functor<List>]))
-       (meta [type "type/" Eq<Type>]))
+       (lang [type "type/" Eq<Type>]))
   ["&" ../common])
 
 (do-template [<name> <code>]
diff --git a/new-luxc/test/test/luxc/lang/analysis/case.lux b/new-luxc/test/test/luxc/lang/analysis/case.lux
index 6d34ef4c5..bffa99bce 100644
--- a/new-luxc/test/test/luxc/lang/analysis/case.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/case.lux
@@ -13,8 +13,8 @@
                    ["S" set]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>]
+       (meta [code])
+       (lang [type "type/" Eq<Type>]
              (type ["tc" check]))
        test)
   (luxc ["&" lang]
diff --git a/new-luxc/test/test/luxc/lang/analysis/function.lux b/new-luxc/test/test/luxc/lang/analysis/function.lux
index 6cddfebd2..5b84d3dd0 100644
--- a/new-luxc/test/test/luxc/lang/analysis/function.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/function.lux
@@ -11,8 +11,8 @@
              (coll [list "list/" Functor<List>]))
        ["r" math/random "r/" Monad<Random>]
        [meta]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["@;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/primitive.lux b/new-luxc/test/test/luxc/lang/analysis/primitive.lux
index 8e1329eb6..b4dc1a63d 100644
--- a/new-luxc/test/test/luxc/lang/analysis/primitive.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/primitive.lux
@@ -13,8 +13,8 @@
              (coll [list "L/" Functor<List> Fold<List>]))
        ["r" math/random]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
index 3420ebb4d..f5b1feb71 100644
--- a/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/procedure/common.lux
@@ -10,8 +10,8 @@
              (coll [array]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
index 783174777..b82eb8206 100644
--- a/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux
@@ -14,8 +14,8 @@
                    [dict]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type])
+       (meta [code])
+       (lang [type])
        test)
   (luxc ["&" lang]
         (lang ["&;" scope]
diff --git a/new-luxc/test/test/luxc/lang/analysis/reference.lux b/new-luxc/test/test/luxc/lang/analysis/reference.lux
index 15e5af44f..16cfb9a38 100644
--- a/new-luxc/test/test/luxc/lang/analysis/reference.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/reference.lux
@@ -6,7 +6,7 @@
        (data ["e" error])
        ["r" math/random]
        [meta #+ Monad<Meta>]
-       (meta [type "type/" Eq<Type>])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc (lang ["&;" scope]
               ["&;" module]
diff --git a/new-luxc/test/test/luxc/lang/analysis/structure.lux b/new-luxc/test/test/luxc/lang/analysis/structure.lux
index 8cc95fd88..cc31622a1 100644
--- a/new-luxc/test/test/luxc/lang/analysis/structure.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/structure.lux
@@ -13,8 +13,8 @@
                    ["S" set]))
        ["r" math/random "r/" Monad<Random>]
        [meta]
-       (meta [code]
-             [type "type/" Eq<Type>]
+       (meta [code])
+       (lang [type "type/" Eq<Type>]
              (type ["tc" check]))
        test)
   (luxc ["&" lang]
diff --git a/new-luxc/test/test/luxc/lang/analysis/type.lux b/new-luxc/test/test/luxc/lang/analysis/type.lux
index 6d89582e8..ed75f4d6c 100644
--- a/new-luxc/test/test/luxc/lang/analysis/type.lux
+++ b/new-luxc/test/test/luxc/lang/analysis/type.lux
@@ -13,8 +13,8 @@
              (coll [list "list/" Functor<List> Fold<List>]))
        ["r" math/random "r/" Monad<Random>]
        [meta #+ Monad<Meta>]
-       (meta [code]
-             [type "type/" Eq<Type>])
+       (meta [code])
+       (lang [type "type/" Eq<Type>])
        test)
   (luxc ["&" lang]
         (lang ["&;" module]