[m-rev.] Trivial diff: minor change to mode of func_error/1

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Jan 21 17:27:53 AEDT 2002


On 15-Jan-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> library/require.m:
> 	Changed mode of result of func_error/1 from `unused' to `out' to
> 	avoid mode problems with functions that call func_error/1 in a
> 	result.

I don't understand this change.  func_error/1 has determinism `erroneous',
which should prevent such mode problems, shouldn't it?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  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