[m-dev.] record syntax

[Peter Ross]

I think we should add the following to the record syntax for allowing
the use of the record syntax for abstract types.

:- interface.

:- type abstract(T) with [field_a, field_b].

:- implementation.

:- type abstract(T)
    --->    f(
                field_a :: int,
                field_b :: int,
                field_c :: int
            ).

Any objections?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------