From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.fr>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 11623BCAE
	for <caml-list@yquem.inria.fr>; Mon,  4 Jul 2005 11:14:00 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j649Dx5A022684
	for <caml-list@yquem.inria.fr>; Mon, 4 Jul 2005 11:13:59 +0200
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA20619 for <caml-list@pauillac.inria.fr>; Mon, 4 Jul 2005 11:13:59 +0200 (MET DST)
Received: from relaissmtp.ens-lyon.fr (pilet.ens-lyon.fr [140.77.167.16])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j649Dx04022681
	for <caml-list@inria.fr>; Mon, 4 Jul 2005 11:13:59 +0200
Received: from localhost (localhost [127.0.0.1])
	by relaissmtp.ens-lyon.fr (Postfix) with ESMTP id 032DE15B6F2
	for <caml-list@inria.fr>; Mon,  4 Jul 2005 11:13:59 +0200 (CEST)
Received: from relaissmtp.ens-lyon.fr ([127.0.0.1])
	by localhost (pilet [127.0.0.1]) (amavisd-new, port 10024) with ESMTP
	id 10867-80 for <caml-list@inria.fr>;
	Mon, 4 Jul 2005 11:13:56 +0200 (CEST)
Received: from paille (unknown [140.77.13.92])
	by relaissmtp.ens-lyon.fr (Postfix) with ESMTP id 63FC137E63
	for <caml-list@inria.fr>; Mon,  4 Jul 2005 11:13:56 +0200 (CEST)
Received: from thirscho by paille with local (Exim 3.36 #1 (Debian))
	id 1DpN0z-0000ws-00
	for <caml-list@inria.fr>; Mon, 04 Jul 2005 11:13:21 +0200
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <17096.64945.453404.172826@gargle.gargle.HOWL>
Date: Mon, 4 Jul 2005 11:13:21 +0200
To: caml-list@inria.fr
Subject: call for examples and counter examples of recursive modules
X-Mailer: VM 7.19 under Emacs 21.4.1
Reply-To: Tom.Hirschowitz@ens-lyon.fr
From: Tom Hirschowitz <tom.hirschowitz@ens-lyon.fr>
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-lyon.fr
X-Miltered: at nez-perce with ID 42C8FDD7.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at nez-perce with ID 42C8FDD7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; recursive:01 ens-lyon:01 caml's:01 recursive:01 hirschowitz:01 hirschowitz:01 modules:01 modules:01 checking:02 tricky:02 tricky:02 objects:02 module:03 examples:07 examples:07 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.2
X-Spam-Level: 


Hi all,

We are trying to augment caml's type system for checking the
well-foundedness of recursive module definitions. We are about to
finish a first prototype version of our system.

We thus would be very grateful for tricky examples of valid programs
using recursive modules, as well as tricky examples of invalid ones.

Please, do not send huge programs, nor programs using objects, as our
prototype does not yet handle them.

Thanks in advance!