From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 2F9E0BC29
	for <caml-list@yquem.inria.fr>; Wed,  9 Aug 2006 16:54:09 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k79Es8XF006392
	for <caml-list@yquem.inria.fr>; Wed, 9 Aug 2006 16:54:08 +0200
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA11353 for <caml-list@pauillac.inria.fr>; Wed, 9 Aug 2006 16:54:08 +0200 (MET DST)
Received: from mcr-smtp-001.bulldogdsl.com (smtp.bulldogdsl.com [212.158.248.7])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k79Es7B1006357;
	Wed, 9 Aug 2006 16:54:07 +0200
Received: by mcr-smtp-001.bulldogdsl.com (Postfix, from userid 1005)
	id 6F73A711720; Wed,  9 Aug 2006 15:53:56 +0100 (BST)
Received: from [192.168.123.191] (host-84-9-233-56.bulldogdsl.com [84.9.233.56])
	by mcr-smtp-001.bulldogdsl.com (Postfix) with ESMTP id 13E1371170A;
	Wed,  9 Aug 2006 15:53:55 +0100 (BST)
Message-ID: <44D9F7B5.5070307@ed.ac.uk>
Date: Wed, 09 Aug 2006 15:56:53 +0100
From: Jeremy Yallop <jeremy.yallop@ed.ac.uk>
User-Agent: Thunderbird 1.5.0.4 (X11/20060713)
MIME-Version: 1.0
To: Alain Frisch <Alain.Frisch@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] non-recursive recursive module segfault
References: <44D9E864.4000303@ed.ac.uk> <44D9F18B.8070906@inria.fr>
In-Reply-To: <44D9F18B.8070906@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 44D9F710.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 44D9F70F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; recursive:01 segfault:01 frisch:01 bug:01 cvs:01 cvs:01 camlcvs:01 cvsweb:01 ocaml:01 stdlib:01 mli:01 camlcvs:01 cvsweb:01 ocaml:01 stdlib:01 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.3

Alain Frisch wrote:
> Jeremy Yallop wrote:
>> What behaviour should I expect for the following code? :
[...]
> 
> That's probably the bug 4008:
> 
> http://caml.inria.fr/mantis/view.php?id=4008
> 
> which is fixed in the 3.09 CVS branch (but not in the 3.10 branch, in
> case you tried).
> 
> To get rid of the problem, you can either:
> 
> - use the CVS version (release309 branch);
> 
> - download, compile and link with the following files:
> 
> http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/~checkout~/ocaml/stdlib/camlinternalMod.mli?rev=1.1.8.2
> http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/~checkout~/ocaml/stdlib/camlinternalMod.ml?rev=1.4.2.1
> 
> - use ocamlopt

Thanks!  All of the above fixed the problem.  I'd looked on mantis to 
see if was a known problem, but bug 4008 didn't show up when I searched 
for "recursive module" (for obvious reasons).

Jeremy.