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 26D757EEBF for ; Mon, 20 Jul 2015 22:03:35 +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.92; 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.92; 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@mout2.freenet.de) identity=helo; client-ip=195.4.92.92; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout2.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BLAgC9U61VnFxcBMNcgmeBAGmDIrc2gwyHO0wBAQEBAQESAQEBAQEGDQkJIS6ETQRRIB0WCwILAwIBAgFLDQgBAYgUARYDAaMLj1+QGQmBMwGEdJNBgUMFhw6NRAGEbo96A4VXimWBbww1AxyBVW2CSwEBAQ X-IPAS-Result: A0BLAgC9U61VnFxcBMNcgmeBAGmDIrc2gwyHO0wBAQEBAQESAQEBAQEGDQkJIS6ETQRRIB0WCwILAwIBAgFLDQgBAYgUARYDAaMLj1+QGQmBMwGEdJNBgUMFhw6NRAGEbo96A4VXimWBbww1AxyBVW2CSwEBAQ X-IronPort-AV: E=Sophos;i="5.15,509,1432591200"; d="scan'208,217";a="140676622" Received: from mout2.freenet.de ([195.4.92.92]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Jul 2015 22:03:34 +0200 Received: from [195.4.92.140] (helo=mjail0.freenet.de) by mout2.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ZHHHg-0007ly-FA for caml-list@inria.fr; Mon, 20 Jul 2015 22:03:32 +0200 Received: from localhost ([::1]:50206 helo=mjail0.freenet.de) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZHHHg-0004yB-DB for caml-list@inria.fr; Mon, 20 Jul 2015 22:03:32 +0200 Received: from mx16.freenet.de ([195.4.92.26]:57892) by mjail0.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZHHEV-0007cb-CG for caml-list@inria.fr; Mon, 20 Jul 2015 22:00:15 +0200 Received: from cl-252.ham-02.de.sixxs.net ([2001:6f8:1c00:fb::2]:41508) by mx16.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ZHHEV-0004Yv-3h for caml-list@inria.fr; Mon, 20 Jul 2015 22:00:15 +0200 To: Caml List From: "Mr. Herr" Message-ID: <55AD534D.9040100@freenet.de> Date: Mon, 20 Jul 2015 22:00:13 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------050401090006020101090602" X-Originated-At: 2001:6f8:1c00:fb::2!41508 Subject: [Caml-list] undefined global Re_posix - ? This is a multi-part message in MIME format. --------------050401090006020101090602 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit 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? --------------050401090006020101090602 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 ]+" ;;
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 | `NoSub ]
=C2=A0=C2=A0=C2=A0 val re : ?opts:opt list -> string -> Re.t<= br> =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 -&= gt; 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?

 --------------050401090006020101090602--