aboutsummaryrefslogtreecommitdiff
path: root/motus/js/next.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2026-06-21 09:29:20 +0200
committerSébastien Dailly <sebastien@dailly.me>2026-06-21 09:29:20 +0200
commite455d580ab4d837122a4186627ec109c4000d7c5 (patch)
tree37e6292ae1d6a31f57e6b7cdbedf8e11e257aa5c /motus/js/next.ml
parent5709ce369f815ca26d555a05e84cfd0b8dc311cf (diff)
Motus: detect if one letter in the proposition match a rule in a different locationHEADmaster
Diffstat (limited to 'motus/js/next.ml')
-rw-r--r--motus/js/next.ml16
1 files changed, 7 insertions, 9 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml
index f26aa86..721c850 100644
--- a/motus/js/next.ml
+++ b/motus/js/next.ml
@@ -10,10 +10,9 @@ let process : t -> State.state -> State.state =
let rules = State.get_current_rules state.current_prop in
(* Update the word list with the new rules *)
- let analysis = Motus_lib.Wordlist.filter rules state.analysis in
- Printf.printf
- "Number of elements after filter : %d\n"
- (Motus_lib.Wordlist.list_size analysis);
+ let candidates = Motus_lib.Wordlist.filter rules state.candidates in
+ Printf.printf "Number of elements after filter : %d\n"
+ (Motus_lib.Wordlist.list_size candidates);
let rules =
Motus_lib.Criteria.merge_lists ~init:state.rules rules
@@ -23,14 +22,13 @@ let process : t -> State.state -> State.state =
let propositions = state.current_prop :: state.propositions
and current_prop = [] in
- let new_state = { state with propositions; current_prop; rules; analysis } in
+ let new_state =
+ { state with propositions; current_prop; rules; candidates }
+ in
(* Get the new proposition if any *)
let current_prop =
- Initialize.get_proposition
- ~catalog:state.catalog
- state.length
- analysis
+ Initialize.get_proposition ~catalog:state.catalog state.length candidates
rules
in
match current_prop with