[m-rev.] Relax solver type definition syntax

[Julien Fischer]

On Fri, 11 Mar 2005, Ralph Becket wrote:

> Estimated hours taken: 0.5
> Branches: main, release
>
> compiler/prog_io.m:
> doc/reference_manual.texi:
> 	Make the `ground is ...' and `any is ...' attributes optional in solver
> 	type definitions, defaulting to `ground' if absent.
>
> 	Reflect this change in the documentation.
>
That looks fine.

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