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

From: Manuel Fahndrich (manuel@lagaffe.CS.Berkeley.EDU)
Date: Fri Oct 03 1997 - 18:34:58 MET DST

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>
Subject: Re: type declaration in */mli & *.ml

Hendrik Tews <> 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.


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