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

[Ralph Becket]

Fergus Henderson, Monday, 21 January 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?

I was about to say "well, it did", but a small test reveals you to be
correct.  Odd, since making the change did fix the bug I had, but can no
longer point to.  Note that func throw/1 has mode out is erroneous.

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