[m-rev.] for review: make ':' into a type qualifier

[Ian MacLarty]

On Thu, Sep 22, 2005 at 10:10:11PM +1000, Julien Fischer wrote:
> 
> Estimated hours taken: 2
> Branches: main
> 
> Make ':' into an infix type qualification operator, equivalent to `with_type`.
> 
> compiler/prog_io.m:
> 	Handle type qualifications in pred and func declarations that use ':'.
> 
> compiler/superhomogeneous.m:
> 	Handle type qualifications using ':' in clauses.
> 
> library/ops.m:
> 	Change the precedence of ':' so that it is identical to `with_type`.
> 
> doc/reference_manual.texi:
> 	Update the list of operators.
> 	Update the section on explicit type qualification expressions.
> 
> tests/hard-coded/type_qual.m:
> 	Use the new syntax in this test case.
> 	(There are lots of other test cases that exercise the old syntax.)
> 
> NEWS:
> 	Mention that ':' is now the type qualification operator.
> 

Looks fine to me.

Ian.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------