Ошибка: несвязанное значение PolkaGrid.manager_alloc_loose - PullRequest
Новая
       24

Ошибка: несвязанное значение PolkaGrid.manager_alloc_loose

0 голосов
/ 21 сентября 2011

Я все еще пытаюсь скомпилировать этот файл, 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. Но я могу найти polkaGrid.cmi, polkaGrid.cmxa и некоторые другие файлы в /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/libpolkaGrid_caml.a

Кто-нибудь знает причину сообщения об ошибке? Большое спасибо!

PS: около PolkaGrid

1 Ответ

0 голосов
/ 24 мая 2018

Вы должны заменить 

let manpkgrid = PolkaGrid.manager_alloc_loose ();;

от 

let manpkgrid = PolkaGrid.manager_alloc manpk mangrid;;
...