From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6F3EDBCAE for ; Mon, 18 Jul 2005 14:51:07 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6ICp7qF013609 for ; Mon, 18 Jul 2005 14:51:07 +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 OAA29865 for ; Mon, 18 Jul 2005 14:51:06 +0200 (MET DST) Received: from relaissmtp.ens-lyon.fr (pilet.ens-lyon.fr [140.77.167.16]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6ICp6rD013606 for ; Mon, 18 Jul 2005 14:51:06 +0200 Received: from localhost (localhost [127.0.0.1]) by relaissmtp.ens-lyon.fr (Postfix) with ESMTP id 4CF1C15B8C6 for ; Mon, 18 Jul 2005 14:51:06 +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 24049-18 for ; Mon, 18 Jul 2005 14:51:05 +0200 (CEST) Received: from paille (unknown [140.77.13.92]) by relaissmtp.ens-lyon.fr (Postfix) with ESMTP id 07B2915B8C4 for ; Mon, 18 Jul 2005 14:51:05 +0200 (CEST) Received: from thirscho by paille with local (Exim 3.36 #1 (Debian)) id 1DuV4I-000174-00 for ; Mon, 18 Jul 2005 14:49:58 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17115.42353.777692.582505@gargle.gargle.HOWL> Date: Mon, 18 Jul 2005 14:49:53 +0200 To: caml-list@inria.fr Subject: call for examples and counter examples of recursive modules In-Reply-To: <17096.64945.453404.172826@gargle.gargle.HOWL> References: <17096.64945.453404.172826@gargle.gargle.HOWL> X-Mailer: VM 7.19 under Emacs 21.4.1 Reply-To: Tom.Hirschowitz@ens-lyon.fr From: Tom Hirschowitz X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-lyon.fr X-Miltered: at concorde with ID 42DBA5BB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42DBA5BA.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; recursive:01 ens-lyon:01 recursive:01 frisch:01 romain:01 caml's:01 ...:98 hirschowitz:01 hirschowitz:01 slight:01 modules:01 modules:01 jacques:01 checking:02 tricky:02 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, The mail server of ENS Lyon had a problem in the days after we sent the message below, which led to the loss of several messages. If any of you had sent examples of programs using recursive modules without any answer from us, we apologize, and would be very grateful if you could send them again. The only examples we received were from Jacques Garrigue and Alain Frisch (surprise...). As a slight correction, we have extended our prototype to handle objects and classes, so even OO examples are welcome. Thanks, Tom and Romain ------------------------------------------------------------------------ Message again: 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!