From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
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 0BA927EE51
	for <caml-list@sympa.inria.fr>; Mon, 13 May 2013 14:17:45 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.210;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.210;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.210;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiADAE/ZkFHB/BfScmdsb2JhbABaDoMwAcAeAQMBAwGBGA4BDAgMCRQDJYIfAQEFOEABEAsYCRYPCQMCAQIBRQYBDAEHAQGIDLsLjygHg1UDlyyGFo1vQQ
X-IPAS-Result: AiADAE/ZkFHB/BfScmdsb2JhbABaDoMwAcAeAQMBAwGBGA4BDAgMCRQDJYIfAQEFOEABEAsYCRYPCQMCAQIBRQYBDAEHAQGIDLsLjygHg1UDlyyGFo1vQQ
X-IronPort-AV: E=Sophos;i="4.87,662,1363129200"; 
   d="scan'208";a="17142353"
Received: from msa01.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.210])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 13 May 2013 14:17:44 +0200
Received: from [192.168.1.108] ([92.151.33.108])
	by mwinf5d25 with ME
	id bQHj1l0062KynzQ03QHjnJ; Mon, 13 May 2013 14:17:44 +0200
Message-ID: <5190D9E4.2050402@frisch.fr>
Date: Mon, 13 May 2013 14:17:40 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:21.0) Gecko/20100101 Thunderbird/21.0
MIME-Version: 1.0
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>, =?ISO-8859-1?Q?Micha?=
 =?ISO-8859-1?Q?=EBl_Lienhardt?= <michael.lienhardt@inria.fr>
CC: caml-list@inria.fr
References: <5184FDB0.30406@inria.fr> <492B4A0C-06A9-4B72-83E7-5DC585690EC3@math.nagoya-u.ac.jp>
In-Reply-To: <492B4A0C-06A9-4B72-83E7-5DC585690EC3@math.nagoya-u.ac.jp>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] recursive module type

On 05/04/2013 02:47 PM, Jacques Garrigue wrote:
> unfortunately, this does not work:
> Fatal error: exception Env.Recmodule

This exception was recently introduced to fix #5965.  Of course, it 
should never be reported like that to the user.  This is now fixed in 
the trunk, and you the following error message:

File "foo.ml", line 4, characters 41-44:
Error: Illegal recursive module reference


-- Alain