diff options
Diffstat (limited to 'stdlib/source/specification')
8 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux index 8e9053349..1e39c009b 100644 --- a/stdlib/source/specification/aedifex/repository.lux +++ b/stdlib/source/specification/aedifex/repository.lux @@ -9,18 +9,18 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" binary + ["[0]" binary (.only) ["_[1]" \\test]]] [math ["[0]" random]]]] [\\program - ["[0]" / + ["[0]" / (.only) ["[1][0]" remote] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" artifact (.only Artifact) ["[1]/[0]" extension]]]]] [\\test - ["_[0]" // "_" + ["_[0]" // ["[1][0]" artifact]]]) (def: .public (spec valid_artifact invalid_artifact subject) diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux index d95e522fe..51e274453 100644 --- a/stdlib/source/specification/compositor.lux +++ b/stdlib/source/specification/compositor.lux @@ -17,11 +17,11 @@ [generation (.only Bundle)]] [default [platform (.only Platform)]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common (.only Runner Definer)] - ["[1]./" analysis "_" + ["[1]./" analysis ["[1][0]" type]] - ["[1]./" generation "_" + ["[1]./" generation ["[1][0]" primitive] ["[1][0]" structure] ["[1][0]" reference] diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 659971e9e..334ce7012 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -25,7 +25,7 @@ [compiler ["[0]" reference] ["[0]" synthesis]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" case] [// [common (.only Runner)]]]) diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index a255a7b1e..d1ab6e87a 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -18,7 +18,7 @@ [analysis (.only Arity)] ["[0]" reference (.only Register)] ["[0]" synthesis (.only Synthesis)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" case] [// [common (.only Runner)]]]) diff --git a/stdlib/source/specification/lux/abstract/codec.lux b/stdlib/source/specification/lux/abstract/codec.lux index 6fb116a8c..3c6a05a11 100644 --- a/stdlib/source/specification/lux/abstract/codec.lux +++ b/stdlib/source/specification/lux/abstract/codec.lux @@ -9,7 +9,7 @@ [math ["[0]" random (.only Random)]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [equivalence (.only Equivalence)]]]]) diff --git a/stdlib/source/specification/lux/abstract/monoid.lux b/stdlib/source/specification/lux/abstract/monoid.lux index 9c28a1a94..0082a5c22 100644 --- a/stdlib/source/specification/lux/abstract/monoid.lux +++ b/stdlib/source/specification/lux/abstract/monoid.lux @@ -7,7 +7,7 @@ [math ["[0]" random (.only Random)]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [equivalence (.only Equivalence)]]]]) diff --git a/stdlib/source/specification/lux/world/console.lux b/stdlib/source/specification/lux/world/console.lux index 4b7925983..e373596c4 100644 --- a/stdlib/source/specification/lux/world/console.lux +++ b/stdlib/source/specification/lux/world/console.lux @@ -10,7 +10,7 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [math ["[0]" random]]]] diff --git a/stdlib/source/specification/lux/world/shell.lux b/stdlib/source/specification/lux/world/shell.lux index 710aa86c4..1ebabbd0b 100644 --- a/stdlib/source/specification/lux/world/shell.lux +++ b/stdlib/source/specification/lux/world/shell.lux @@ -20,7 +20,7 @@ ["n" nat] ["i" int]]]]] [\\library - ["[0]" / + ["[0]" / (.only) [// [file (.only Path)]]]]) |