diff options
Diffstat (limited to 'motus/js/next.ml')
| -rw-r--r-- | motus/js/next.ml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml index f3bb2fe..e6baf51 100644 --- a/motus/js/next.ml +++ b/motus/js/next.ml @@ -11,6 +11,9 @@ let process : t -> State.state -> State.state = (* 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 rules = Motus_lib.Criteria.merge_lists ~init:state.rules rules @@ -23,7 +26,13 @@ let process : t -> State.state -> State.state = let new_state = { state with propositions; current_prop; rules; analysis } in (* Get the new proposition if any *) - let current_prop = Initialize.get_proposition state.length analysis rules in + let current_prop = + Initialize.get_proposition + ~catalog:state.catalog + state.length + analysis + rules + in match current_prop with | None -> new_state | Some prop -> |