From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pierre.weis@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 4716CBC48
	for <caml-list@yquem.inria.fr>; Sat,  9 Apr 2005 09:28:31 +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 j397SUHC003001
	for <caml-list@yquem.inria.fr>; Sat, 9 Apr 2005 09:28:30 +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 JAA31565 for <caml-list@pauillac.inria.fr>; Sat, 9 Apr 2005 09:28:30 +0200 (MET DST)
Received: from smtp10.wanadoo.fr (smtp10.wanadoo.fr [193.252.22.21])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j397SUaP020342
	for <caml-list@inria.fr>; Sat, 9 Apr 2005 09:28:30 +0200
Received: from me-wanadoo.net (localhost [127.0.0.1])
	by mwinf1004.wanadoo.fr (SMTP Server) with ESMTP id 19462240015C
	for <caml-list@inria.fr>; Sat,  9 Apr 2005 09:28:30 +0200 (CEST)
Received: from Galois (Mix-Strasbourg-103-3-124.w193-250.abo.wanadoo.fr [193.250.99.124])
	by mwinf1004.wanadoo.fr (SMTP Server) with ESMTP id A6B682400150
	for <caml-list@inria.fr>; Sat,  9 Apr 2005 09:28:29 +0200 (CEST)
X-ME-UUID: 20050409072829683.A6B682400150@mwinf1004.wanadoo.fr
Received: from evariste by Galois with local (Exim 4.50)
	id 1DKANM-0000WQ-CS
	for caml-list@inria.fr; Sat, 09 Apr 2005 09:27:28 +0200
Resent-From: =?iso-8859-1?Q?S=E9bastien?= Hinderer <Sebastien.Hinderer@libertysurf.fr>
Resent-Date: Sat, 9 Apr 2005 09:27:28 +0200
Resent-Message-ID: <20050409072728.GA2008@galois>
Resent-To: caml-list@inria.fr
Date: Fri, 8 Apr 2005 19:41:42 +0200
From: =?iso-8859-1?Q?S=E9bastien?= Hinderer <Sebastien.Hinderer@ens-lyon.org>
To: caml-list@inria.fr
Subject: Syntactic inclusion of a.ml in b.ml ?
Message-ID: <20050408174142.GA1804@galois>
Mail-Followup-To: caml-list@inria.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Resent-Date: Sat, 09 Apr 2005 09:27:28 +0200
X-Miltered: at nez-perce with ID 4257841E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 4257841E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; ens-lyon:01 gcc:01 ocamlc:01 syntactic:01 seems:03 inclusion:03 rename:04 sebastien:05 sebastien:05 apparently:07 file:08 file:08 but:12 some:12 solution:12 
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: 

Dear all,

(How) is it possible to include syntactically a file a.ml in a file
b.ml ?

One method that seems to w)rk is to rename b.ml to b.ml.c,
and then have in b.ml.c a line saying
#include "a.ml"
And with this, gcc -E b.ml.c > b.ml
produces a file that ocamlc can apparently handle.

But is this considered a good solution, or is some better solution
available ?

Many thanks in advance,
Sébastien.