blob: 912141def0edd27ac2c4070b2dbf379fd6e419db (
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
32
33
34
35
36
37
38
|
(** 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
; catalog = Motus_lib.Wordlist.remove_word state.catalog word
}
in
(* Get the new proposition if any *)
let current_prop =
Initialize.get_proposition
~catalog:new_state.catalog
state.length
new_state.analysis
state.rules
in
match current_prop with
| None -> new_state
| Some prop ->
FieldList.set_with_props prop new_state.fields new_state.rules;
State.{ new_state with current_prop = prop }
|
