aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor.lux2
-rw-r--r--stdlib/source/specification/compositor/analysis/type.lux3
-rw-r--r--stdlib/source/specification/compositor/common.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux3
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/primitive.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/reference.lux2
-rw-r--r--stdlib/source/specification/compositor/generation/structure.lux2
9 files changed, 9 insertions, 11 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index e6494e011..6a6ff9cfb 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -8,7 +8,7 @@
["[0]" try]]
[math
["r" random]]
- [tool
+ [meta
[compiler
["[0]" analysis]
["[0]" declaration]
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index edf3cc14b..6675fad09 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -10,8 +10,7 @@
[math
["r" random (.only Random)]]
[meta
- ["[0]" code]]
- [tool
+ ["[0]" code]
[compiler
[analysis (.only State+)]
["[0]" phase
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index c9da8e718..2a3e6fb45 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -5,7 +5,7 @@
[control
["[0]" io (.only IO)]
["[0]" try (.only Try)]]
- [tool
+ [meta
[compiler
["[0]" reference]
["[0]" analysis]
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 8d902977c..5e00820b2 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -16,7 +16,7 @@
["[0]" list (.use "[1]#[0]" mix)]]]
[math
["r" random (.only Random)]]
- [tool
+ [meta
[compiler
["[0]" reference]
["[0]" analysis]
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux
index fd517a5dd..dd19bc795 100644
--- a/stdlib/source/specification/compositor/generation/common.lux
+++ b/stdlib/source/specification/compositor/generation/common.lux
@@ -21,8 +21,7 @@
["r" random (.only Random)]]
[meta
[macro
- ["^" pattern]]]
- [tool
+ ["^" pattern]]
[compiler
["[0]" reference]
["[0]" synthesis]]]]
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index 632f0db75..7fc24cfb8 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -13,7 +13,7 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[math
["r" random (.only Random) (.use "[1]#[0]" monad)]]
- [tool
+ [meta
[compiler
[analysis (.only Arity)]
["[0]" reference (.only Register)]
diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
index f5861b006..9e6ea2e02 100644
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ b/stdlib/source/specification/compositor/generation/primitive.lux
@@ -14,7 +14,7 @@
["%" \\format (.only format)]]]
[math
["r" random]]
- [tool
+ [meta
[compiler
["[0]" synthesis]]]]
[///
diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index a5244bc8c..7159afe1b 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -10,7 +10,7 @@
[number
["n" nat]
["f" frac]]]
- [tool
+ [meta
[compiler
["[0]" reference]
["[0]" synthesis]]]
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index ba552577b..523ad990e 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -19,7 +19,7 @@
["[0]" list (.use "[1]#[0]" functor)]]]
[math
["r" random]]
- [tool
+ [meta
[compiler
["[0]" analysis]
["[0]" synthesis]]]]