blob: 104b3e6499f142c7cae34fac0a91943b1c3465c9 (
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
|
(** Load the next proposition from the word list *)
open StdLabels
type t = unit
let process : t -> State.state -> State.state =
fun () state ->
(* Add the current proposition into the validated list *)
let rules = State.get_current_rules state.current_prop in
let rules =
Motus_lib.Criteria.merge_lists ~init:state.rules rules
|> List.sort_uniq ~cmp:Stdlib.compare
in
(* Update the word list with the new rules *)
let analysis = Motus_lib.Wordlist.filter rules state.analysis in
let propositions = state.current_prop :: state.propositions
and current_prop = [] in
let new_state = { state with propositions; current_prop; rules; analysis } in
(* Get the new proposition if any *)
let current_prop = Initialize.get_proposition analysis 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 rules; current_prop = prop }
|
