aboutsummaryrefslogtreecommitdiff
path: root/motus/js/motus.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-24 08:59:44 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-24 13:39:39 +0100
commitc2bd6982e5ed845293a38ae600c239cd50924d76 (patch)
tree4e68d4e7f9c2b9d5ae597f54961891332fc0e985 /motus/js/motus.ml
parent89dbb39c3fcd188ef7acf092061d756046b2c5d4 (diff)
Update code, added tests
Diffstat (limited to 'motus/js/motus.ml')
-rw-r--r--motus/js/motus.ml5
1 files changed, 2 insertions, 3 deletions
diff --git a/motus/js/motus.ml b/motus/js/motus.ml
index a2bcbd3..402e14a 100644
--- a/motus/js/motus.ml
+++ b/motus/js/motus.ml
@@ -150,7 +150,7 @@ let main
List.map props ~f:(fun proposition ->
List.map proposition ~f:(fun prop ->
let letter, validity =
- Option.value ~default:(Jstr.empty, State.Missing) prop
+ Option.value ~default:(Jstr.empty, Validity.Missing) prop
in
let input =
El.input
@@ -173,8 +173,7 @@ let main
S.map
(fun ev ->
match
- ( ev.State.current_prop
- , Motus_lib.Persistence.list_size ev.State.analysis )
+ (ev.State.current_prop, Motus_lib.Wordlist.list_size ev.State.analysis)
with
| [], _ | _, 1 -> Some (Jstr.v "true")
| _, _ -> None )