[m-dev.] for review: enable support for explicit type qualifiers

[Simon Taylor]

> Estimated hours taken: 1.5
> 
> Enable the support for explicit type qualification,
> using `with_type` as the operator.

I'm pretty sure this doesn't work with type inference (from memory
there's a problem in applying substitutions to the type qualifications).
I'll see what I can do about a fix.

Also, the performance bug which made this problem visible still
hasn't been fixed. Any modules which contain assertions (or import
them from `.opt' files) are typechecked twice.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------