diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-16 23:39:05 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-16 23:41:41 -0700 |
| commit | d2e606f42f7213d16272efc221f6ae56b12a2320 (patch) | |
| tree | 10e670585eafe2727a788fb26edfc7dcb775dd37 /edit | |
| parent | 94c54a07a1a0a4d96a366884771b664df4508830 (diff) | |
| download | mu-d2e606f42f7213d16272efc221f6ae56b12a2320.tar.gz | |
3921
Diffstat (limited to 'edit')
| -rw-r--r-- | edit/004-programming-environment.mu | 8 | ||||
| -rw-r--r-- | edit/005-sandbox.mu | 2 |
2 files changed, 6 insertions, 4 deletions
diff --git a/edit/004-programming-environment.mu b/edit/004-programming-environment.mu index 71e72e46..c1f8af7f 100644 --- a/edit/004-programming-environment.mu +++ b/edit/004-programming-environment.mu @@ -397,7 +397,9 @@ def] ] ] -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] @@ -429,7 +431,7 @@ def render-all screen:&:screen, env:&:environment, {render-editor: (recipe (addr assert-no-scroll screen, old-top-idx ] -def render-recipes screen:&:screen, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> screen:&:screen, env:&:environment [ +def render-recipes screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ local-scope load-ingredients trace 11, [app], [render recipes] @@ -448,7 +450,7 @@ def render-recipes screen:&:screen, env:&:environment, {render-editor: (recipe ( ] # 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 trace 11, [app], [render sandboxes] diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index caa3e6e6..e58b6d47 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -243,7 +243,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] |