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

[Ralph Becket]

>From Fergus Henderson on 21/09/2000 06:16:14
> 
> Estimated hours taken: 1.5
> 
> Enable the support for explicit type qualification,
> using `with_type` as the operator.
> 
> compiler/make_hlds.m:
> compiler/hlds_out.m:
> 	Use `with_type` as the type qualification operator.
> 
> tests/hard_coded/type_qual.m:
> tests/hard_coded/type_qual.inp:
> tests/hard_coded/type_qual.exp:
> 	Test the new feature.
> 
> doc/reference_manual.texi:
> 	Document the new feature.
> 	Also make a few improvements to the documentation of
> 	data-terms, record syntax, and variable scoping.
> 
> NEWS:
> 	Mention the new feature.

That looks fine to me.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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