Re: type declaration in */mli & *.ml

From: Hendrik Tews (tews@tcs.inf.tu-dresden.de)
Date: Wed Oct 01 1997 - 12:02:25 MET DST


Date: Wed, 1 Oct 1997 12:02:25 +0200
Message-Id: <199710011002.MAA15151@ithif18.inf.tu-dresden.de>
From: Hendrik Tews <tews@tcs.inf.tu-dresden.de>
To: caml-list-request@inria.fr
Subject: Re: type declaration in */mli & *.ml

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
-------------------------------------------------------------



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET