> 2012/4/12 Stéphane Glondu <st...@glondu.net> > >> Le 12/04/2012 14:30, Philippe Veber a écrit : >> > While playing with the upcoming features of our favorite compiler, I >> > found that the current trunk and version/4.00 branch do not work well >> > with findlib (version 1.2.8). I report it here so others might confirm >> > (or not) what I say. >> > >> > OCaml version 4.01.0+dev1_2012-03-31 >> > >> > # #use "topfind";; >> > - : unit = () >> > File "/home/pveber/usr/ocamlbrew/ocaml-svn/trunk/lib/ocaml/topfind", >> > line 37, characters 0-22: >> > Error: Unbound module Topfind >> > >> > What is really surprising is that the toplevel doesn't complain if I >> > copy/paste the contents of topfind directly in the compiler: >> > [...] >> >> It works if you execute (replace /usr/lib/ocaml by `ocamlc -where`) >> >> #directory "/usr/lib/ocaml/findlib";; >> >> before calling >> >> #use "topfind";;
I tried to debug this, but the result is strange. First, I tried to create a reproduction case which is independent of findlib (i.e. using the same topfind script, but loading a different module). I was not successful. There must be something very special triggering the problem. I also read the relevant parts of the Ocaml sources to get an idea - again, no result, the search path is simply a global variable. The only thing I found out: If you change the topfind script so that the #directory directive is executed before loading the modules (i.e. move this directive right to the beginning of the script), everything works again. Somehow the load must be incomplete when the directory of the .cma files is not in the search path (although we load by absolute path). Maybe the behaviour has to do with bug http://caml.inria.fr/mantis/view.php?id=5551 . Gerd >> > Indeed, it works fine with that trick. Thanks ! > > >> >> The #directory is present in /usr/lib/ocaml/topfind, but it seems that >> now, they don't have immediate effect. >> > Yes, that is a really surprising issue for me. > > Thanks again, > ph. > > -- > 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 > > -- Gerd Stolpmann, Darmstadt, Germany g...@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you. -- 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
