diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase.lux b/stdlib/source/lux/tool/compiler/phase.lux index 847faaefa..20cba5fc1 100644 --- a/stdlib/source/lux/tool/compiler/phase.lux +++ b/stdlib/source/lux/tool/compiler/phase.lux @@ -44,13 +44,13 @@ operation (\ try.monad map product.right))) -(def: #export get-state +(def: #export get_state (All [s o] (Operation s s)) (function (_ state) (#try.Success [state state]))) -(def: #export (set-state state) +(def: #export (set_state state) (All [s o] (-> s (Operation s Any))) (function (_ _) |