diff options
Diffstat (limited to '')
11 files changed, 18 insertions, 18 deletions
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]))) |