I've been trying to use the delimcc delimited continuation library, but so far I've been unsuccessful. I'm using OCaml 4.06.1 and I've tried it on both Mac OS X (High Sierra) and Ubuntu MATE 17.10. I'm fine sticking to bytecode. The opam package installs correctly but when you try to run it you get errors from the dynamically-linked libraries. On Mac OS X I get this:
# #require "delimcc";;
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: dlopen(/Users/mvanier/.opam/4. 06.1/lib/stublibs/dlldelimcc.s o, 10): Symbol not found: _alloc
Referenced from: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so
Expected in: flat namespace
in /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so.
And on Ubuntu I get this:
# #require "delimcc";;
/home/mvanier/.opam/4.06.1/lib/delimcc: added to search path
/home/mvanier/.opam/4.06.1/lib/delimcc/delimcc.cma: loaded
Cannot load required shared library dlldelimcc.
Reason: /Users/mvanier/.opam/4.06.1/lib/stublibs/dlldelimcc.so: dlopen(/Users/mvanier/.opam/4. 06.1/lib/stublibs/dlldelimcc.s o, 10): Symbol not found: initialize.
However, in either case I can do:
# open Delimcc;;
and it reports no errors, but then if I try e.g.:
# shift;;
Reference to undefined global `Delimcc`
so it appears the library isn't there or isn't functional. Compiling from the delimcc source also appears to work, but gcc warns about implicit declarations of "alloc", "alloc_shr" and "initialize" when compiling stacks.c, which makes sense. Compiling any of the test programs also fails.
So it appears that this library no longer works. Does anyone know any way to make it work?
Thanks in advance,
Mike
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs