diff options
Diffstat (limited to 'sandbox')
-rw-r--r-- | sandbox/004-programming-environment.mu | 6 | ||||
-rw-r--r-- | sandbox/005-sandbox.mu | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/sandbox/004-programming-environment.mu b/sandbox/004-programming-environment.mu index ab91cdaf..8204f296 100644 --- a/sandbox/004-programming-environment.mu +++ b/sandbox/004-programming-environment.mu @@ -191,7 +191,9 @@ def render-without-moving-cursor screen:&:screen, editor:&:editor -> last-row:nu return row, column ] -def render-all screen:&:screen, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> screen:&:screen, env:&:environment [ +type render-recipe = (recipe (address screen) (address editor) -> number number (address screen) (address editor)) + +def render-all screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-ingredients trace 10, [app], [render all] @@ -216,7 +218,7 @@ def render-all screen:&:screen, env:&:environment, {render-editor: (recipe (addr ] # replaced in a later layer -def render-sandbox-side screen:&:screen, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> screen:&:screen, env:&:environment [ +def render-sandbox-side screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-ingredients current-sandbox:&:editor <- get *env, current-sandbox:offset diff --git a/sandbox/005-sandbox.mu b/sandbox/005-sandbox.mu index 3375a60f..c1495920 100644 --- a/sandbox/005-sandbox.mu +++ b/sandbox/005-sandbox.mu @@ -227,7 +227,7 @@ def save-sandboxes env:&:environment, resources:&:resources -> resources:&:resou } ] -def! render-sandbox-side screen:&:screen, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> screen:&:screen, env:&:environment [ +def! render-sandbox-side screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-ingredients trace 11, [app], [render sandbox side] |