blob: 2a128191938450e974f64a9eb8dcbdd54140b9c4 (
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
|
(** 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
candidates = Motus_lib.Wordlist.remove_word state.candidates 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.candidates 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 }
|
