[m-rev.] for review: atoms in the debugger

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Jan 2 18:12:28 AEDT 2002


On 02-Jan-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Ah, sorry, I realize now that I misunderstood what you were using "atom"
> to refer to -- you're talking about browsing calls at call/exit/redo/fail
> ports.

And all other ports. And browsing I/O action atoms in the declarative debugger
(which is what started me off).

> I still think the use of the word "atom" is misleading,
> but "closure" or "higher-order term" wouldn't have the right meaning.
> Maybe it's best to talk about browsing calls, rather than
> printing atoms.

Browsing a "call" at an exit port and having it show even the output arguments
would be confusing.

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