aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor.lux')
-rw-r--r--stdlib/source/specification/compositor.lux60
1 files changed, 30 insertions, 30 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index aa2239cf7..f2af26161 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -1,33 +1,33 @@
(.using
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" io {"+" IO}]
- ["[0]" try]]
- [math
- ["r" random]]
- [tool
- [compiler
- ["[0]" analysis]
- ["[0]" directive]
- [phase
- [macro {"+" Expander}]
- [generation {"+" Bundle}]]
- [default
- [platform {"+" Platform}]]]]]
- ["[0]" / "_"
- ["[1][0]" common {"+" Runner Definer}]
- ["[1]./" analysis "_"
- ["[1][0]" type]]
- ["[1]./" generation "_"
- ["[1][0]" primitive]
- ["[1][0]" structure]
- ["[1][0]" reference]
- ["[1][0]" case]
- ["[1][0]" function]
- ["[1][0]" common]]])
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" io {"+" IO}]
+ ["[0]" try]]
+ [math
+ ["r" random]]
+ [tool
+ [compiler
+ ["[0]" analysis]
+ ["[0]" directive]
+ [phase
+ [macro {"+" Expander}]
+ [generation {"+" Bundle}]]
+ [default
+ [platform {"+" Platform}]]]]]
+ ["[0]" / "_"
+ ["[1][0]" common {"+" Runner Definer}]
+ ["[1]./" analysis "_"
+ ["[1][0]" type]]
+ ["[1]./" generation "_"
+ ["[1][0]" primitive]
+ ["[1][0]" structure]
+ ["[1][0]" reference]
+ ["[1][0]" case]
+ ["[1][0]" function]
+ ["[1][0]" common]]])
(def: (test runner definer state expander)
(-> Runner Definer analysis.State+ Expander Test)
@@ -60,7 +60,7 @@
(case ?state,runner,definer
{try.#Success [[directive_bundle directive_state] runner definer]}
(..test runner definer
- (value@ [directive.#analysis directive.#state] directive_state)
+ (the [directive.#analysis directive.#state] directive_state)
expander)
{try.#Failure error}