diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 13:40:36 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:22:43 +0100 |
commit | c0c82a7bfe8300b1bd50fee11074837ff32d3da0 (patch) | |
tree | 9d22cb772d2a16023edfe6c86f4f9f03be5f9c49 /script.it | |
parent | 2e29673fa970b814c97d5838963de49c2a65424b (diff) |
Renamed fonctions in application framework, updated doc
Diffstat (limited to 'script.it')
-rwxr-xr-x | script.it/script.ml | 9 |
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 |