On 27 févr. 2012, at 16:43, Damien Doligez wrote: >> Also, when running why3, I get some undefined symbols (_camlRandom, >> _camlParsing, _camlString). Where are these symbols defined? > > Looks like modules of the standard library, right ?
Regarding this, should something special be done when dynlinking a file that depends on the standard library? I assume that dependencies are not automatically loaded, but should one load the standard library first? In other words, is this a bug in why3, or in ocaml? Thanks, Alan -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs