From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2720C7EEBF for ; Tue, 21 Jul 2015 00:40:27 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.91; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.91; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout1.freenet.de) identity=helo; client-ip=195.4.92.91; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout1.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A6BAAqeK1VnFtcBMNcgkYhgQBdDIMipGSBcgSQXYMMhgkCKIEITAEBAQEBARIBAQEBAQYNCQkhLoQbCQEBBCMEUQEQCxgJFggDAgIJAwIBAgE0ERMGAgEBhW6CJgEDEwMBswyQKwlBDGYBhEgBAQEBBgEBAQEBHYtMhDJUB4JoD4E0BYcOjUQBhG6PegOFV4plgjADHIFVbYENgT4BAQU X-IPAS-Result: A0A6BAAqeK1VnFtcBMNcgkYhgQBdDIMipGSBcgSQXYMMhgkCKIEITAEBAQEBARIBAQEBAQYNCQkhLoQbCQEBBCMEUQEQCxgJFggDAgIJAwIBAgE0ERMGAgEBhW6CJgEDEwMBswyQKwlBDGYBhEgBAQEBBgEBAQEBHYtMhDJUB4JoD4E0BYcOjUQBhG6PegOFV4plgjADHIFVbYENgT4BAQU X-IronPort-AV: E=Sophos;i="5.15,510,1432591200"; d="scan'208,217";a="140683106" Received: from mout1.freenet.de ([195.4.92.91]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Jul 2015 00:40:26 +0200 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout1.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ZHJjV-00020j-47 for caml-list@inria.fr; Tue, 21 Jul 2015 00:40:25 +0200 Received: from localhost ([::1]:52508 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZHJjV-0000Mb-06 for caml-list@inria.fr; Tue, 21 Jul 2015 00:40:25 +0200 Received: from mx3.freenet.de ([195.4.92.13]:35690) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZHJgX-0003zb-KH for caml-list@inria.fr; Tue, 21 Jul 2015 00:37:21 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:59822) by mx3.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ZHJgX-0002hY-Ah for caml-list@inria.fr; Tue, 21 Jul 2015 00:37:21 +0200 References: <55AD534D.9040100@freenet.de> Cc: Caml List From: "Mr. Herr" Message-ID: <55AD7820.8080608@freenet.de> Date: Tue, 21 Jul 2015 00:37:20 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------020208050001090609010305" X-Originated-At: 2001:6f8:1c00:fb::2!59822 Subject: Re: [Caml-list] undefined global Re_posix - ? This is a multi-part message in MIME format. --------------020208050001090609010305 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit 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 > 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. --------------020208050001090609010305 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable

On 20.07.2015 22:09, Ivan Gotovchits wrote:
You need to load posix sublibrary:

=C2=A0 =C2=A0 #require "re.posix";;

On Mon, Jul 20, 2015 at 4:00 PM, Mr. Herr <miste= rherr@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 =3D Re_posix.compile_pat "[\t ]+" ;;<= br> Error: Reference to undefined global `Re_posix'
# #show_module Re_posix;;
module Re_posix :
=C2=A0 sig
=C2=A0=C2=A0=C2=A0 exception Parse_error
=C2=A0=C2=A0=C2=A0 exception Not_supported
=C2=A0=C2=A0=C2=A0 type opt =3D [ `ICase | `Newline | `No= Sub ]
=C2=A0=C2=A0=C2=A0 val re : ?opts:opt list -> string -= > Re.t
=C2=A0=C2=A0=C2=A0 val compile : Re.t -> Re.re
=C2=A0=C2=A0=C2=A0 val compile_pat : ?opts:opt list ->= string -> Re.re
=C2=A0 end
# let re_whitespace =3D 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.

--------------020208050001090609010305--