aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2018-04-20 20:27:29 +0200
committerSébastien Dailly <sebastien@chimrod.com>2018-04-20 20:27:29 +0200
commit725a98ea6133fe7741ac1ada32d53f7978bfede0 (patch)
tree9dcced0b39b7779ea677eef193c87e9e2dcf9899
parent83a783f652dff960a0c6e15f94f1fc496813d998 (diff)
Update dependencies
-rwxr-xr-xMakefile5
-rwxr-xr-xopam2
-rwxr-xr-xsrc/catalog.ml8
-rwxr-xr-xsrc/odf/odfLoader.ml4
4 files changed, 10 insertions, 9 deletions
diff --git a/Makefile b/Makefile
index 347d7d5..4adbf07 100755
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
PREFIX=/usr/local
BINDIR=$(PREFIX)/bin
-PACKAGES=dynlink,curses,camlzip,xmlm,text,str,menhirLib,zarith,base
+OCAMLBUILD ?= ocamlbuild
+PACKAGES=dynlink,curses,camlzip,xmlm,text,str,menhirLib,zarith,base,string_dict
PATHS=src,src/odf,src/tree,src/expressions
TARGET=licht
OCB=ocamlbuild -pkgs $(PACKAGES) $(STUB_OPTIONS) $(MENHIR) -Is $(PATHS)
@@ -21,7 +22,7 @@ stub:
$(MAKE) -C stub LIB=$(LIB)
deps:
- opam install ocamlfind ocamlbuild curses camlzip xmlm ounit text menhir zarith base
+ opam install ocamlbuild curses camlzip xmlm ounit text menhir zarith string_dict
byte: stub
$(OCB) main.byte
diff --git a/opam b/opam
index 264016e..c8d8408 100755
--- a/opam
+++ b/opam
@@ -26,6 +26,6 @@ depends: [
"xmlm"
"text"
"zarith" { >= "1.5" }
- "base"
+ "string_dict"
]
available: [ ocaml-version >= "4.06.0" ]
diff --git a/src/catalog.ml b/src/catalog.ml
index bba13d6..71f953f 100755
--- a/src/catalog.ml
+++ b/src/catalog.ml
@@ -155,7 +155,7 @@ module Make(Data:DATA_SIG) = struct
Each name is binded with another map with contains the function for each
signature.
*)
- type t = Functions.t Base.String_dict.t
+ type t = Functions.t String_dict.t
type catalog_builder = Functions.t Catalog.t
let empty = Catalog.empty
@@ -192,15 +192,15 @@ module Make(Data:DATA_SIG) = struct
let find_function:
type a. t -> string -> a t_function sig_typ -> a t_function =
begin fun t name signature ->
- Base.String_dict.find_exn t (String.uppercase_ascii name)
+ String_dict.find_exn t (String.uppercase_ascii name)
|> Functions.find signature
end
let compile t =
- (* Use efficient Base.String_dict.
+ (* Use efficient String_dict.
The requirement to have a unique key is garantee by the Map structure.
*)
- Base.String_dict.of_alist_exn (Catalog.bindings t)
+ String_dict.of_alist_exn (Catalog.bindings t)
type result =
diff --git a/src/odf/odfLoader.ml b/src/odf/odfLoader.ml
index 06eba38..4abe49f 100755
--- a/src/odf/odfLoader.ml
+++ b/src/odf/odfLoader.ml
@@ -129,14 +129,14 @@ let load catalog source = begin
let sheet = Sheet.create catalog in
let cache = Hashtbl.create 10 in
- let table = Base.String_dict.of_alist_exn [
+ let table = String_dict.of_alist_exn [
((NS.text ^ "p"), build_p);
((NS.table ^ "table-cell"), build_cell cache);
((NS.table ^ "table-row"), build_row sheet (ref 1))
] in
let el (((ns, name), attributes):Xmlm.tag) childs = begin
- match Base.String_dict.find table (ns ^ name) with
+ match String_dict.find table (ns ^ name) with
| Some f -> f attributes childs
| None -> Unit
end in