aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang')
-rw-r--r--new-luxc/source/luxc/lang/analysis/case.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/common.lux2
-rw-r--r--new-luxc/source/luxc/lang/analysis/expression.lux2
-rw-r--r--new-luxc/source/luxc/lang/analysis/function.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/inference.lux2
-rw-r--r--new-luxc/source/luxc/lang/analysis/primitive.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/procedure/common.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/reference.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/structure.lux4
-rw-r--r--new-luxc/source/luxc/lang/analysis/type.lux2
-rw-r--r--new-luxc/source/luxc/lang/translation.lux4
12 files changed, 20 insertions, 20 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])))
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]))