From 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Nov 2017 22:04:44 -0400
Subject: - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".

---
 new-luxc/test/test/luxc/lang/analysis/case.lux               | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/function.lux           | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/primitive.lux          | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/procedure/common.lux   | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/procedure/host.jvm.lux | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/reference.lux          | 2 +-
 new-luxc/test/test/luxc/lang/analysis/structure.lux          | 4 ++--
 new-luxc/test/test/luxc/lang/analysis/type.lux               | 4 ++--
 8 files changed, 15 insertions(+), 15 deletions(-)

(limited to 'new-luxc/test')

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