diff options
Diffstat (limited to 'stdlib/source/specification')
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]]]] |