Minor corrections and tweaks
This commit is contained in:
parent
a2ade911f6
commit
d08a7536f1
|
@ -288,13 +288,13 @@ cases where handlers are dynamically installed.
|
||||||
if selector not in edges then
|
if selector not in edges then
|
||||||
edges[selector] := {}
|
edges[selector] := {}
|
||||||
let table = edges[selector]
|
let table = edges[selector]
|
||||||
if class not in edges[selector] then
|
if class not in table then
|
||||||
let (outercache, constmap) = cont
|
let (outercache, constmap) = cont
|
||||||
let innercache =
|
let innercache =
|
||||||
{ v | v ∈ outercache,
|
{ v | v ∈ outercache,
|
||||||
classof (project v h) = class }
|
classof (project v h) = class }
|
||||||
edges[selector][class] := ((innercache, {}), {})
|
table[class] := ((innercache, {}), {})
|
||||||
let node' = edges[selector][class]
|
let node' = table[class]
|
||||||
walk-edge (h ++ [0]) node' 0 0 [s_0, ..., s_i]
|
walk-edge (h ++ [0]) node' 0 0 [s_0, ..., s_i]
|
||||||
|
|
||||||
**Definition.** The `addHandler` procedure installs into an index an
|
**Definition.** The `addHandler` procedure installs into an index an
|
||||||
|
@ -303,7 +303,7 @@ cases where handlers are dynamically installed.
|
||||||
sequence of captured values matching existing assertions in the
|
sequence of captured values matching existing assertions in the
|
||||||
index.[^function-pointer-equality]
|
index.[^function-pointer-equality]
|
||||||
|
|
||||||
addHandler :: Index -> (S × [H×V] × [H]) -> ([V] -> V) -> 1
|
addHandler :: Index -> (S × [H×V] × [H]) -> (EventType -> [V] -> V) -> 1
|
||||||
addHandler index k f =
|
addHandler index k f =
|
||||||
let (s, constantMap, captureMap) = k
|
let (s, constantMap, captureMap) = k
|
||||||
let (_, root) = index
|
let (_, root) = index
|
||||||
|
@ -337,7 +337,7 @@ cases where handlers are dynamically installed.
|
||||||
**Definition.** The `removeHandler` procedure removes an event handler
|
**Definition.** The `removeHandler` procedure removes an event handler
|
||||||
from an index.
|
from an index.
|
||||||
|
|
||||||
removeHandler :: Index -> (S × [H×V] × [H]) -> ([V] -> V) -> 1
|
removeHandler :: Index -> (S × [H×V] × [H]) -> (EventType -> [V] -> V) -> 1
|
||||||
removeHandler index k f =
|
removeHandler index k f =
|
||||||
let (s, constantMap, captureMap) = k
|
let (s, constantMap, captureMap) = k
|
||||||
let (_, root) = index
|
let (_, root) = index
|
||||||
|
|
Loading…
Reference in New Issue