summaryrefslogtreecommitdiffabout
diff options
context:
space:
mode:
authorArmael <armael.gueneau@ens-lyon.fr>2016-01-24 15:38:05 (CET)
committer Armael <armael.gueneau@ens-lyon.fr>2016-01-24 15:38:05 (CET)
commit183621df2c5f9b4973ad0ae8b730d07c7492a81e (patch)
tree4ce17858af313bf3fd7f7da7aafb3f14e922fefe
parentd00b6fae22bbbae87dc8bf5e6c4df736a1b82255 (diff)
downloaddict-183621df2c5f9b4973ad0ae8b730d07c7492a81e.tar.gz
dict-183621df2c5f9b4973ad0ae8b730d07c7492a81e.tar.bz2
cleanup
-rw-r--r--dict.ml5
1 files changed, 1 insertions, 4 deletions
diff --git a/dict.ml b/dict.ml
index 07418c8..47fb6b0 100644
--- a/dict.ml
+++ b/dict.ml
@@ -6,8 +6,6 @@ open Lwt
let langs = ["Toki-pona"; "English"]
let dict_name = "toki.txt"
-type t = string list list
-
let parse_dict s =
String.nsplit ~by:"\n" s
|> List.filter (fun l ->
@@ -97,8 +95,7 @@ let results_html =
) l
)
) res)
- ) results
- in
+ ) results in
let results'_v = React.S.value results' in
let results'_e = React.S.map (fun x -> RList.Set x) results'