diff options
| author | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
| commit | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch) | |
| tree | 84154fb7a50286cd64a919c8698581c9260ff09d /new-luxc/test | |
| parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) | |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to 'new-luxc/test')
8 files changed, 15 insertions, 15 deletions
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] |