[mercury-users] Prev code modified

[Fergus Henderson]

On 14-Oct-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> The Mercury
> run-time doesn't know how to print out closures properly, so it just
> writes `<<predicate>>'.

Actually, this statement is not quite correct.  In recent development
versions, the Mercury run-time does know how to print out closures.
If you use `print_cc' rather than `print', then I think it will
do a reasonable job.

The reason that `print' doesn't print out the details of closures is that
if it did, then it's behaviour would be dependent on the representation
of the closure, so it might behave differently for different arguments
whose value is semantically the same, according to the declarative
semantics, but whose representation is different.

-- 
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-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------