[m-rev.] diff: improve error checking for instance decls

Mark Brown mark at csse.unimelb.edu.au
Wed Oct 25 23:53:59 AEST 2006


On 25-Oct-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> Emit an error if abstract instances in the implementation of a module do
> not have a corresponding concrete instance.

Why do we even allow abstract instances in the implementation?  (Likewise
for abstract types.)

Cheers,
Mark.

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



More information about the reviews mailing list