[m-dev.] another interface file?

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Jun 4 15:14:08 AEST 2009

On 03-Jun-2009, Peter Wang <novalazy at gmail.com> wrote:
> My idea is to introduce another type of interface file, say .int4, exposing
> the equivalence types which were abstractly exported in the interface (and
> types necessary to make sense of those).

I believe that in some cases, we *already* include the actual definition
of abstract-exported types, and the abstract definitions of the types mentioned
in the actual definitions, in .int files.

mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list