aboutsummaryrefslogtreecommitdiff
path: root/script.it
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 13:40:36 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:22:43 +0100
commitc0c82a7bfe8300b1bd50fee11074837ff32d3da0 (patch)
tree9d22cb772d2a16023edfe6c86f4f9f03be5f9c49 /script.it
parent2e29673fa970b814c97d5838963de49c2a65424b (diff)
Renamed fonctions in application framework, updated doc
Diffstat (limited to 'script.it')
-rwxr-xr-xscript.it/script.ml9
1 files changed, 2 insertions, 7 deletions
diff --git a/script.it/script.ml b/script.it/script.ml
index 78a45b3..eb12458 100755
--- a/script.it/script.ml
+++ b/script.it/script.ml
@@ -171,10 +171,7 @@ let set_sidebar
let process t state = { state with State.rendering = t }
end
in
-
- State.E
- ( render_type
- , (module M: State.Event with type t = Layer.Paths.printer ))
+ State.dispatch (module M) render_type
) rendering' in
@@ -440,9 +437,7 @@ let page_main id =
(fun pos f ->
let module Tick = Script_event.Tick in
Option.map (fun p ->
- State.E
- ( (f, p)
- , (module Tick: State.Event with type t = Tick.t )))
+ State.dispatch (module Tick) (f, p))
pos ) in
(* The first evaluation is the state. Which is the result of all the