@@ -23,18 +23,18 @@ let (>>=) = Lwt.(>>=)
2323
2424type t = {
2525 timeout_delay : float ;
26- mutable timeout_prompt : t -> unit Lwt .t ;
26+ timeout_prompt : t -> unit Lwt .t ;
2727 mutable current_timeout_prompt : unit Lwt .t ;
2828 flood_limit : int ;
29- mutable flood_prompt : t -> Html_types .nmtoken -> (unit -> int ) -> bool Lwt .t ;
29+ flood_prompt : t -> Html_types .nmtoken -> (unit -> int ) -> bool Lwt .t ;
3030 mutable current_flood_prompt : unit Lwt .t ;
3131 flood_reset : t -> unit ;
3232 worker : Learnocaml_toplevel_worker_caller .t ;
3333 container : [ `Div ] Html5 .elt ;
3434 oldify : bool ;
3535 mutable status : [ `Reset of (unit Lwt .t * unit Lwt .u ) | `Execute of unit Lwt .t | `Idle ] ;
36- mutable on_enable_input : t -> unit ;
37- mutable on_disable_input : t -> unit ;
36+ on_enable_input : t -> unit ;
37+ on_disable_input : t -> unit ;
3838 mutable disabled : int ;
3939 output : Learnocaml_toplevel_output .output ;
4040 input : Learnocaml_toplevel_input .input ;
@@ -525,7 +525,7 @@ let create
525525 >> = fun _ -> Lwt. return_unit) ;
526526 let first_time = ref true in
527527 let after_init top =
528- if ! first_time || not oldify then
528+ if ! first_time || not top. oldify then
529529 Learnocaml_toplevel_output. clear output
530530 else
531531 Learnocaml_toplevel_output. oldify output;
@@ -536,7 +536,7 @@ let create
536536 | `Idle | `Execute _ -> assert false
537537 end ;
538538 top.status < - `Idle ;
539- begin if display_welcome && (! first_time || not oldify) then
539+ begin if display_welcome && (! first_time || not top. oldify) then
540540 Learnocaml_toplevel_worker_caller. execute
541541 ~pp_answer: (fun _ -> () )
542542 ~print_outcome: false
0 commit comments