akkartik
/
mu
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

3921

This commit is contained in:
Kartik K. Agaram 2017-06-16 23:39:05 -07:00
parent 94c54a07a1
commit d2e606f42f
5 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
edit/004-programming-environment.mu
View File

@ -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]

2
edit/005-sandbox.mu
View File

@ -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]

1
exuberant_ctags_rc
View File

@ -4,6 +4,7 @@
--regex-mu=/^def![ \t]+([^ \t]*)/\1/d,definition/
--regex-mu=/^recipe[ \t]+([^ \t]*)/\1/d,definition/
--regex-mu=/^recipe![ \t]+([^ \t]*)/\1/d,definition/
--regex-mu=/^type[ \t]+([^ \t]*)/\1/t,typeref/
--regex-mu=/^container[ \t]+([^ \t:]*)/\1/s,struct/
--regex-mu=/^exclusive-container[ \t]+([^ \t:]*)/\1/u,union/
--regex-mu=/$x/x/x/e/ --------- next option is for way-points in Mu

6
sandbox/004-programming-environment.mu
View File

@ -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

2
sandbox/005-sandbox.mu
View File

@ -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]