开发者

Error: Unbound value PolkaGrid.manager_alloc_loose

I am still trying to compile this file, by 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 ();;

The errors in my previous threads have been resolved, now I am stuck with Error: Unbound value PolkaGrid.manager_alloc_loose. But I can find polkaGrid.cmi, polkaGrid.cmxa and some other files under /usr/:

...@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/libpolkaG开发者_开发技巧rid_caml.a

Does anyone know the reason of the error message? Thank you very much!

PS: about PolkaGrid


You should replace

let manpkgrid = PolkaGrid.manager_alloc_loose ();;

by

let manpkgrid = PolkaGrid.manager_alloc manpk mangrid;;
0

上一篇:

下一篇:

精彩评论

暂无评论...
验证码 换一张
取 消

最新问答

问答排行榜