From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA15748 for caml-redistribution; Fri, 3 Oct 1997 17:48:14 +0200 (MET DST) 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 MAA03923 for ; Wed, 1 Oct 1997 12:01:28 +0200 (MET DST) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.119]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id MAA00663 for ; Wed, 1 Oct 1997 12:01:25 +0200 (MET DST) Received: from ithif18.inf.tu-dresden.de (ithif18 [141.76.75.118]) by tcs.inf.tu-dresden.de (8.8.3/8.8.3) with SMTP id LAA17661 for ; Wed, 1 Oct 1997 11:58:22 +0200 (MET DST) Received: by ithif18.inf.tu-dresden.de (SMI-8.6/SMI-SVR4) id MAA15151; Wed, 1 Oct 1997 12:02:25 +0200 Date: Wed, 1 Oct 1997 12:02:25 +0200 Message-Id: <199710011002.MAA15151@ithif18.inf.tu-dresden.de> From: Hendrik Tews To: caml-list-request@inria.fr Subject: Re: type declaration in */mli & *.ml Sender: weis Hi, I am writing again about a topic we had on the list last year (cf. http://pauillac.inria.fr/caml/caml-list/0676.html and http://pauillac.inria.fr/caml/caml-list/0680.html). As Xavier writes it is a pain that in some circumstances (specifications of types and signatures) the same code has to be written twice, first in the specification and then in the implementation. Is there any solution to this? Has anybody tried to include parts of an interface into an implementation (for instance by means of a preprocessor)? Greetings, Hendrik ------------------------------------------------------------- e-mail: tews@tcs.inf.tu-dresden.de www: http://wwwtcs.inf.tu-dresden.de/~tews -------------------------------------------------------------