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 JAA29221 for caml-redistribution; Mon, 6 Oct 1997 09:08:43 +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 SAA16716 for <caml-list@pauillac.inria.fr>; Fri, 3 Oct 1997 18:38:51 +0200 (MET DST)
Received: from lagaffe.CS.Berkeley.EDU (manuel@lagaffe.CS.Berkeley.EDU [128.32.131.110])
	by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id SAA19990
	for <caml-list@inria.fr>; Fri, 3 Oct 1997 18:38:47 +0200 (MET DST)
Received: (from manuel@localhost) by lagaffe.CS.Berkeley.EDU (8.7.5/8.7.3) id JAA10036; Fri, 3 Oct 1997 09:34:58 -0700
Date: Fri, 3 Oct 1997 09:34:58 -0700
Message-Id: <199710031634.JAA10036@lagaffe.CS.Berkeley.EDU>
From: Manuel Fahndrich <manuel@lagaffe.CS.Berkeley.EDU>
To: caml-list@inria.fr
Subject: Re: type declaration in */mli & *.ml
Reply-to: manuel@cs.berkeley.edu
X-URL: http://http.cs.berkeley.edu/~manuel
Sender: weis


Hendrik Tews <tews@tcs.inf.tu-dresden.de> wrote

[...]
>Has anybody tried to include parts of an interface into an
>implementation (for instance by means of a preprocessor)?

I've seen SML programs written using NoWeb, a variant of Knuth's
literate programming tool Web. The tool acts as a preprocessor and
makes it easy to write type declarations only once, and use them in
signatures and structures.

-Manuel