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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 81E827EEBF for ; Mon, 20 Jul 2015 22:09:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.217.177 as permitted sender) identity=mailfrom; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f177.google.com) identity=helo; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lb0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DCAgCxVK1Vm7HZVdFcgkaBIWkGgxylcgaRPoMMhgkCgSkHTAEBAQEBARIBAQEBAQYLCwkhLoQkAQEDARIRBFIFCwsEBzcCAiISAQUBHAYTCBqHdwMKCKUUgSw+MYs/kGIMhS8BAQEHAQEBAQEdCoYUhS6FBgeCaIFDBYcOjUSEb4cyjiKJGxIjgRUXghkDHIFvIjGCSwEBAQ X-IPAS-Result: A0DCAgCxVK1Vm7HZVdFcgkaBIWkGgxylcgaRPoMMhgkCgSkHTAEBAQEBARIBAQEBAQYLCwkhLoQkAQEDARIRBFIFCwsEBzcCAiISAQUBHAYTCBqHdwMKCKUUgSw+MYs/kGIMhS8BAQEHAQEBAQEdCoYUhS6FBgeCaIFDBYcOjUSEb4cyjiKJGxIjgRUXghkDHIFvIjGCSwEBAQ X-IronPort-AV: E=Sophos;i="5.15,509,1432591200"; d="scan'208";a="170989021" Received: from mail-lb0-f177.google.com ([209.85.217.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Jul 2015 22:09:28 +0200 Received: by lbbqi7 with SMTP id qi7so21723542lbb.3 for ; Mon, 20 Jul 2015 13:09:28 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=z2GY+jKjHIufHHzCv+Hv0lgckWQ+nDkpU174EHu4xz8=; b=RsP6gTdLaV9zygM8ZfIAsWRKclHK3aCrCCBxaiCTCEJJ2+ct1wYkO/K97qAzNzjR85 qQ2kbuL+InBkgzR2PPlJ/v3RIpWqHQGfqlHl1slXqiUWos0ENaxjabeFZy994DR0AGh9 Sb4MjfP8dBavFrAsDX7KYJfu4tyfp53jz0rcoK8FwP8FQz1ZDv8mXFDusxF17x8qesuE zEqmns3xOPr+e2zb0UHEgH3PYH6gEMayk5/DxNwTd7aM6t3AYK6wOyBhnL8x8ObNPKwZ tZlXkfH0ASwGHO6ZptWL2CO03tvGINWgEks0+wcsOB+i9ZjGLBy91r9FoGFwgaQs8HsT icqQ== X-Gm-Message-State: ALoCoQlRgE3xq86j9iPaM/WbkkRq9xerQvxiPisZnhzGbmPcRJXzazL1S788r0dCkFS9duv1Uzf1 MIME-Version: 1.0 X-Received: by 10.112.143.136 with SMTP id se8mr29264007lbb.101.1437422968394; Mon, 20 Jul 2015 13:09:28 -0700 (PDT) Received: by 10.114.26.99 with HTTP; Mon, 20 Jul 2015 13:09:28 -0700 (PDT) In-Reply-To: <55AD534D.9040100@freenet.de> References: <55AD534D.9040100@freenet.de> Date: Mon, 20 Jul 2015 16:09:28 -0400 Message-ID: From: Ivan Gotovchits To: "Mr. Herr" Cc: Caml List Content-Type: multipart/alternative; boundary=089e011839b26c65a6051b541d65 Subject: Re: [Caml-list] undefined global Re_posix - ? --089e011839b26c65a6051b541d65 Content-Type: text/plain; charset=UTF-8 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? > > --089e011839b26c65a6051b541d65 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
You need to l= oad posix sublibrary:
=C2=A0 =C2=A0 #require &= quot;re.posix";;

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

unexplainable behavior: module Re_posix causes an error "undef= ined 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 | `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?

--089e011839b26c65a6051b541d65--