From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 4D6B1BC48 for ; Sat, 9 Apr 2005 17:50:41 +0200 (CEST) Received: from smtp5.wanadoo.fr (smtp5.wanadoo.fr [193.252.22.26]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j39FofWR010578 for ; Sat, 9 Apr 2005 17:50:41 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0504.wanadoo.fr (SMTP Server) with ESMTP id EB01E1C00142 for ; Sat, 9 Apr 2005 17:50:40 +0200 (CEST) Received: from Galois (Mix-Strasbourg-209-1-61.w80-9.abo.wanadoo.fr [80.9.104.61]) by mwinf0504.wanadoo.fr (SMTP Server) with ESMTP id 7FCEC1C00132; Sat, 9 Apr 2005 17:50:40 +0200 (CEST) X-ME-UUID: 20050409155040523.7FCEC1C00132@mwinf0504.wanadoo.fr Received: from evariste by Galois with local (Exim 4.50) id 1DKIDS-00013c-AF; Sat, 09 Apr 2005 17:49:46 +0200 Date: Sat, 9 Apr 2005 17:49:46 +0200 From: =?iso-8859-1?Q?S=E9bastien?= Hinderer To: caml-list@yquem.inria.fr, caml-list@inria.fr Subject: Re: Re: Syntactic inclusion of a.ml in b.ml ? Message-ID: <20050409154946.GA4059@galois> Mail-Followup-To: caml-list@yquem.inria.fr, caml-list@inria.fr References: <20050408174142.GA1804@galois> <20050409103532.GA20625@furbychan.cocan.org> <20050409132026.GA3353@galois> <7f8e92aa050409074520921d52@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <7f8e92aa050409074520921d52@mail.gmail.com> X-Miltered: at nez-perce with ID 4257F9D1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ens-lyon:01 ocaml:01 imho:01 syntactic:01 caml:02 declaration:02 string:03 module:03 module:03 inclusion:03 modify:05 generated:05 sebastien:05 sebastien:05 function:08 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: > Why not modify the script to produce valid a valid ocaml module and > then just open that module? (1) Because it would make the script heavier, IMHO. (2) Because there are actually two different things that should be automatically generated : (a) The type declaration (b) A function to convert it to a string. And I would like to embed as few Caml code as possible in the script. Sébastien.