[m-rev.] For review: more fixes to impurity

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Dec 1 17:54:14 AEDT 2005


On 18-Nov-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> +impure_func_t7.m:029: In clause for `bad_impure_if_then_else_expr(di, uo)':
> +impure_func_t7.m:029:   purity error: goal is marked as impure, but is actually
> +impure_func_t7.m:029:   pure

For consistency with other error messages, the error message should
end in a full stop.

Cheers,
	Fergus.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list