diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/interpreter.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/interpreter.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux index a318dedfc..b08b79461 100644 --- a/stdlib/source/library/lux/tool/interpreter.lux +++ b/stdlib/source/library/lux/tool/interpreter.lux @@ -2,13 +2,13 @@ [library [lux "*" [control - [monad {"+" [Monad do]}] - ["[0]" try {"+" [Try]}] - ["ex" exception {"+" [exception:]}]] + [monad {"+" Monad do}] + ["[0]" try {"+" Try}] + ["ex" exception {"+" exception:}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] - [type {"+" [:sharing]} + ["%" format {"+" format}]]] + [type {"+" :sharing} ["[0]" check]] [compiler ["[0]" phase @@ -16,17 +16,17 @@ ["[0]" module] ["[0]" type]] ["[0]" generation] - ["[0]" directive {"+" [State+ Operation]} + ["[0]" directive {"+" State+ Operation} ["[0]" total]] ["[0]" extension]] ["[0]" default ["[0]" syntax] - ["[0]" platform {"+" [Platform]}] + ["[0]" platform {"+" Platform}] ["[0]" init]] - ["[0]" cli {"+" [Configuration]}]] + ["[0]" cli {"+" Configuration}]] [world - ["[0]" file {"+" [File]}] - ["[0]" console {"+" [Console]}]]]] + ["[0]" file {"+" File}] + ["[0]" console {"+" Console}]]]] ["[0]" /type]) (exception: .public (error [message Text]) |