From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yotambarnoy@gmail.com>
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 077CB7F75C
	for <caml-list@sympa.inria.fr>; Thu, 11 Sep 2014 00:26:27 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  yotambarnoy@gmail.com) identity=pra; client-ip=209.85.216.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="yotambarnoy@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  yotambarnoy@gmail.com designates 209.85.216.43 as permitted
  sender) identity=mailfrom; client-ip=209.85.216.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="yotambarnoy@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qa0-f43.google.com) identity=helo;
  client-ip=209.85.216.43;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="postmaster@mail-qa0-f43.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkgBAFDPEFTRVdgrlGdsb2JhbABgg2BbgnjFXoFph00BgQoIFhABAQEBBwsLCRIshAMBAQEDARIRHQEbHQEDAQsGBQQBBg0qAgIhAQERAQUBHAYTIogLAQMJCA2daWuLMIFygxCJAAoZJw1mhXwBEQEFDo0Sgi0HgnmBUwWVeYRzghCBX40dhEsYKYUuIS8Bgk4BAQE
X-IPAS-Result: AkgBAFDPEFTRVdgrlGdsb2JhbABgg2BbgnjFXoFph00BgQoIFhABAQEBBwsLCRIshAMBAQEDARIRHQEbHQEDAQsGBQQBBg0qAgIhAQERAQUBHAYTIogLAQMJCA2daWuLMIFygxCJAAoZJw1mhXwBEQEFDo0Sgi0HgnmBUwWVeYRzghCBX40dhEsYKYUuIS8Bgk4BAQE
X-IronPort-AV: E=Sophos;i="5.04,501,1406584800"; 
   d="scan'208";a="78493902"
Received: from mail-qa0-f43.google.com ([209.85.216.43])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Sep 2014 00:26:26 +0200
Received: by mail-qa0-f43.google.com with SMTP id cm18so18429726qab.30
        for <caml-list@inria.fr>; Wed, 10 Sep 2014 15:26:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=KbwjlBfjfFJ6/bxd1xUXBYuWt75NLK6LBWx4aR41BfQ=;
        b=o3cJuY7BJ0Fj9nTM1ppHu92niR1ImeMlprkMcyGFBhDACTatb0VGI6pKlB9HzcdorU
         a4paU/jz1VjCVXqxb2qn8z0+UiN142GpEzmbMWX2Z+Fg0UFCP3hgRAQsW9RXI2stKYeJ
         o5h+almnzZ+1QXk8aPZjKlDvZk3kWfqbp5/9eMkMabtuZ5whO19CYM3ujmHq4Xwe7Gcs
         oeULPhxACf14az4gyJDWJx4gflkH7wy1xNcTb+IDhd+CooWvQQruQBbskoyAhojvmVHE
         T2rZTCT5SbdZVvoPVQzfp57/xg4LW/JnJqth9eMUKg4JKNGBx3/cZtJccOiWcjphZ/xL
         YlBQ==
X-Received: by 10.140.109.75 with SMTP id k69mr33136060qgf.96.1410387984916;
 Wed, 10 Sep 2014 15:26:24 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.224.174.68 with HTTP; Wed, 10 Sep 2014 15:26:04 -0700 (PDT)
In-Reply-To: <CAAxsn=Hdk6VpPFC0uLdZaXeN5nBAt3FwvmWJ+aSo7teKcq_tww@mail.gmail.com>
References: <CAN6ygOn3_xL3MT=LH_NvdZn4mLkpfs-4hCn__hgu0CMP2BY=+g@mail.gmail.com>
 <CAAxsn=Hdk6VpPFC0uLdZaXeN5nBAt3FwvmWJ+aSo7teKcq_tww@mail.gmail.com>
From: Yotam Barnoy <yotambarnoy@gmail.com>
Date: Wed, 10 Sep 2014 18:26:04 -0400
Message-ID: <CAN6ygOn1cgA3n0Q8QxHopgWqHK9b+z_wRGg+Be7UcBY=fL3tFw@mail.gmail.com>
To: Jeremy Yallop <yallop@gmail.com>
Cc: Ocaml Mailing List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a1139bd02d65fed0502bd8a46
Subject: Re: [Caml-list] Undefined recursive module

--001a1139bd02d65fed0502bd8a46
Content-Type: text/plain; charset=UTF-8

Thanks. Does it make sense that changing a function definition from
point-free to an explicit definition should eliminate this exception?
Because that seems to have been the problem.

On Wed, Sep 10, 2014 at 6:20 PM, Jeremy Yallop <yallop@gmail.com> wrote:

> On 10 September 2014 21:32, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> > I just encountered this nasty RUNTIME error in my code. What does it
> mean?
> > How does it happen?
>
> The behaviour is documented in the manual:
>
>    http://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc75
>
> See the paragraph beginning "Currently, the compiler requires [...]".
>

--001a1139bd02d65fed0502bd8a46
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Thanks. Does it make sense that changing a function defini=
tion from point-free to an explicit definition should eliminate this except=
ion? Because that seems to have been the problem.</div><div class=3D"gmail_=
extra"><br><div class=3D"gmail_quote">On Wed, Sep 10, 2014 at 6:20 PM, Jere=
my Yallop <span dir=3D"ltr">&lt;<a href=3D"mailto:yallop@gmail.com" target=
=3D"_blank">yallop@gmail.com</a>&gt;</span> wrote:<br><blockquote class=3D"=
gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-=
left:1ex"><span class=3D"">On 10 September 2014 21:32, Yotam Barnoy &lt;<a =
href=3D"mailto:yotambarnoy@gmail.com">yotambarnoy@gmail.com</a>&gt; wrote:<=
br>
&gt; I just encountered this nasty RUNTIME error in my code. What does it m=
ean?<br>
&gt; How does it happen?<br>
<br>
</span>The behaviour is documented in the manual:<br>
<br>
=C2=A0 =C2=A0<a href=3D"http://caml.inria.fr/pub/docs/manual-ocaml-400/manu=
al021.html#toc75" target=3D"_blank">http://caml.inria.fr/pub/docs/manual-oc=
aml-400/manual021.html#toc75</a><br>
<br>
See the paragraph beginning &quot;Currently, the compiler requires [...]&qu=
ot;.<br>
</blockquote></div><br></div>

--001a1139bd02d65fed0502bd8a46--