Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Julien Cervelle
PadiFlac
Commits
378aca39
Commit
378aca39
authored
Apr 21, 2022
by
Benoit Barbot
Browse files
fix update getter
parent
468c967f
Pipeline
#2658
failed with stage
in 32 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
front/gen_page.ml
View file @
378aca39
...
...
@@ -43,7 +43,13 @@ module Make' (P : PAGE') = struct
let
sender
,
getter
=
SimpleEvent
.
connect_polymorphe'
P
.
canal
(
fun
last
sender
getter
state
evt
->
(
fun
last
sender
getter_row
state
evt
->
let
rec
getter
f
=
getter_row
(
fun
s
->
let
s2
=
f
s
in
cup
(
P
.
display
{
state
;
sender
;
getter
});
s2
)
in
let
nst
=
P
.
up_state
{
state
;
sender
;
getter
}
evt
in
if
last
then
cup
(
P
.
display
{
state
=
nst
;
sender
;
getter
});
nst
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment