blob: f0b581fadb4b39d9863972e4a9461e5054879625 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
(** Reload the list without the current proposition *)
open StdLabels
type t = unit
let process : t -> State.state -> State.state =
fun () state ->
(* Get the word corresponding to the proposition *)
let word =
state.State.current_prop
|> List.to_seq
|> Seq.map (fun opt ->
match opt with
| None -> ' '
| Some (letter, _) -> String.get (Jstr.to_string letter) 0 )
|> String.of_seq
in
let new_state =
{ state with analysis = Motus_lib.Wordlist.remove_word state.analysis word }
in
(* Get the new proposition if any *)
let current_prop =
Initialize.get_proposition state.length new_state.analysis state.rules
in
match current_prop with
| None -> new_state
| Some prop ->
FieldList.set_with_props prop state.fields new_state.rules;
State.{ new_state with current_prop = prop }
|
