[Caml-list] undefined global Re_posix - ?

[Caml-list] undefined global Re_posix - ?

[Mr. Herr]

[-- Attachment #1: Type: text/plain, Size: 1011 bytes --]

Hi,

unexplainable behavior: module Re_posix causes an error "undefined global Re_posix",
but the module is known.

Even stranger: when misspelling Re_posix the toplevel proposes Re_posix.

What is wrong?

/Str.

----------------------------------------------------------------------------------
/opt/opam/4.02.2/lib/ocaml/unix.cma: loaded
# #require "re";;
/opt/opam/4.02.2/lib/bytes: added to search path
/opt/opam/4.02.2/lib/re: added to search path
/opt/opam/4.02.2/lib/re/re.cma: loaded
# let re_whitespace = Re_posix.compile_pat "[\t ]+" ;;
Error: Reference to undefined global `Re_posix'
# #show_module Re_posix;;
module Re_posix :
   sig
     exception Parse_error
     exception Not_supported
     type opt = [ `ICase | `Newline | `NoSub ]
     val re : ?opts:opt list -> string -> Re.t
     val compile : Re.t -> Re.re
     val compile_pat : ?opts:opt list -> string -> Re.re
   end
# let re_whitespace = Re_posixx.compile_pat "[\t ]+" ;;
Error: Unbound module Re_posixx
Hint: Did you mean Re_posix?


[-- Attachment #2: Type: text/html, Size: 1797 bytes --]

Re: [Caml-list] undefined global Re_posix - ?

[Ivan Gotovchits]

[-- Attachment #1: Type: text/plain, Size: 1207 bytes --]

You need to load posix sublibrary:

    #require "re.posix";;

On Mon, Jul 20, 2015 at 4:00 PM, Mr. Herr <misterherr@freenet.de> wrote:

>  Hi,
>
> unexplainable behavior: module Re_posix causes an error "undefined global
> Re_posix",
> but the module is known.
>
> Even stranger: when misspelling Re_posix the toplevel proposes Re_posix.
>
> What is wrong?
>
> /Str.
>
>
> ----------------------------------------------------------------------------------
> /opt/opam/4.02.2/lib/ocaml/unix.cma: loaded
> # #require "re";;
> /opt/opam/4.02.2/lib/bytes: added to search path
> /opt/opam/4.02.2/lib/re: added to search path
> /opt/opam/4.02.2/lib/re/re.cma: loaded
> # let re_whitespace = Re_posix.compile_pat "[\t ]+" ;;
> Error: Reference to undefined global `Re_posix'
> # #show_module Re_posix;;
> module Re_posix :
>   sig
>     exception Parse_error
>     exception Not_supported
>     type opt = [ `ICase | `Newline | `NoSub ]
>     val re : ?opts:opt list -> string -> Re.t
>     val compile : Re.t -> Re.re
>     val compile_pat : ?opts:opt list -> string -> Re.re
>   end
> # let re_whitespace = Re_posixx.compile_pat "[\t ]+" ;;
> Error: Unbound module Re_posixx
> Hint: Did you mean Re_posix?
>
>

[-- Attachment #2: Type: text/html, Size: 2332 bytes --]

Re: [Caml-list] undefined global Re_posix - ?

[Jeremy Yallop]

On 20 July 2015 at 21:00, Mr. Herr <misterherr@freenet.de> wrote:
> unexplainable behavior: module Re_posix causes an error "undefined global
> Re_posix",
> but the module is known.
>
> Even stranger: when misspelling Re_posix the toplevel proposes Re_posix.
>
> What is wrong?

You need to add

   #require "re.posix"

Re: [Caml-list] undefined global Re_posix - ?

[Mr. Herr]

[-- Attachment #1: Type: text/plain, Size: 1537 bytes --]



On 20.07.2015 22:09, Ivan Gotovchits wrote:
> You need to load posix sublibrary:
>
>     #require "re.posix";;
>
> On Mon, Jul 20, 2015 at 4:00 PM, Mr. Herr <misterherr@freenet.de 
> <mailto:misterherr@freenet.de>> wrote:
>
>     Hi,
>
>     unexplainable behavior: module Re_posix causes an error "undefined global
>     Re_posix",
>     but the module is known.
>
>     Even stranger: when misspelling Re_posix the toplevel proposes Re_posix.
>
>     What is wrong?
>
>     /Str.
>
>     ----------------------------------------------------------------------------------
>     /opt/opam/4.02.2/lib/ocaml/unix.cma: loaded
>     # #require "re";;
>     /opt/opam/4.02.2/lib/bytes: added to search path
>     /opt/opam/4.02.2/lib/re: added to search path
>     /opt/opam/4.02.2/lib/re/re.cma: loaded
>     # let re_whitespace = Re_posix.compile_pat "[\t ]+" ;;
>     Error: Reference to undefined global `Re_posix'
>     # #show_module Re_posix;;
>     module Re_posix :
>       sig
>         exception Parse_error
>         exception Not_supported
>         type opt = [ `ICase | `Newline | `NoSub ]
>         val re : ?opts:opt list -> string -> Re.t
>         val compile : Re.t -> Re.re
>         val compile_pat : ?opts:opt list -> string -> Re.re
>       end
>     # let re_whitespace = Re_posixx.compile_pat "[\t ]+" ;;
>     Error: Unbound module Re_posixx
>     Hint: Did you mean Re_posix?
>
>
Okay, thank you all - five answers in the mailbox.

So there is not much to "/opt/opam/4.02.2/lib/re: added to search path"

/Str.


[-- Attachment #2: Type: text/html, Size: 3572 bytes --]

Re: [Caml-list] undefined global Re_posix - ?

[Daniel Bünzli]

Le lundi, 20 juillet 2015 à 23:37, Mr. Herr a écrit :
> So there is not much to "/opt/opam/4.02.2/lib/re: added to search path"

This only tells you that it will lookup for .cmi files and .cm{o,a} files in this directory. It doesn't mean that it *loads* them.  

As you can see in your transcript only re.cma is loaded when you #require re and that archive doesn't have the re_posix.cmo file.  

The reason why #show_module Re_posix gives you an answer is because in that re directory there is the re_posix.cmi file which the toplevel sees and loads to provide you the directive result and mispelling advice. Interface files are automatically looked up but not implementations.

From a usability perspective one could argue that ocamlfind subpackages should install in their own subdirectory so that the kind of "strange" behaviour you witnessed does not occur.

Best,

Daniel