错误:未绑定值PolkaGrid.manager_alloc_loose

Question

我仍然在尝试编译这个文件，由ocamlc -I /usr/local/lib/ocaml/3.11.2/apron -I /usr/local/lib/ocaml/3.11.2/gmp/ -c file.ml编写

open Apron;;
open Mpqf;;
open Format;;

let print_array = Abstract0.print_array;;
let lincons1_array_print fmt x =
  Lincons1.array_print fmt x
;;
let generator1_array_print fmt x =
  Generator1.array_print fmt x
;;

let manpk = Polka.manager_alloc_strict();;
let manbox = Box.manager_alloc ();;
let manoct = Oct.manager_alloc ();;
let manppl = Ppl.manager_alloc_strict();;
let mangrid = Ppl.manager_alloc_grid ();;
let maneq = Polka.manager_alloc_equalities ();;
let manpkgrid = PolkaGrid.manager_alloc_loose ();;

我之前的线程中的错误已经解决了，现在我坚持使用Error: Unbound value PolkaGrid.manager_alloc_loose。但我可以在/usr/下找到polkaGrid.cmi、polkaGrid.cmxa和其他一些文件

...@ubuntu$ find -name "*polkaGrid*"
./lib/polkaGrid.cma
./lib/polkaGrid.cmi
./lib/polkaGrid.mli
./lib/polkaGrid.a
./lib/dllpolkaGrid_caml.so
./lib/libpolkaGrid_caml_debug.a
./lib/polkaGrid.cmxa
./lib/libpolkaGrid_caml.a
./local/lib/ocaml/3.11.2/stublibs/dllpolkaGrid_caml.so
./local/lib/ocaml/3.11.2/stublibs/dllpolkaGrid_caml.so.owner
./local/lib/ocaml/3.11.2/apron/polkaGrid.cma
./local/lib/ocaml/3.11.2/apron/polkaGrid.cmi
./local/lib/ocaml/3.11.2/apron/polkaGrid.mli
./local/lib/ocaml/3.11.2/apron/polkaGrid.a
./local/lib/ocaml/3.11.2/apron/libpolkaGrid_caml_debug.a
./local/lib/ocaml/3.11.2/apron/polkaGrid.cmxa
./local/lib/ocaml/3.11.2/apron/polkaGrid.cmx
./local/lib/ocaml/3.11.2/apron/libpolkaGrid_caml.a

有谁知道错误消息的原因吗？非常感谢!

PS:关于PolkaGrid

Answer 1

你应该替换掉

let manpkgrid = PolkaGrid.manager_alloc_loose ();;

通过

let manpkgrid = PolkaGrid.manager_alloc manpk mangrid;;