Re: [Caml-list] Current SVN head and findlib.

["Gerd Stolpmann" <info@gerd-stolpmann.de>]

> 2012/4/12 Stéphane Glondu <steph@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    gerd@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.