aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source
diff options
context:
space:
mode:
authorEduardo Julian2017-11-15 22:04:44 -0400
committerEduardo Julian2017-11-15 22:04:44 -0400
commit53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch)
tree84154fb7a50286cd64a919c8698581c9260ff09d /new-luxc/source
parent360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff)
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang.lux4
-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
-rw-r--r--new-luxc/source/luxc/module/descriptor/type.lux2
14 files changed, 23 insertions, 23 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>]