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

David Overton dmo at cs.mu.OZ.AU
Wed Jan 9 17:25:36 AEDT 2002


On Wed, Jan 09, 2002 at 04:57:37PM +1100, Zoltan Somogyi wrote:
> On 08-Jan-2002, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> > So I agree that "^r" would be a good way to access the return value.
> 
> I have implemented things so that ^r, ^ret and ^return can all be used
> to access the return value.
> 
> > Another alternative, which may be easier to implement, is to treat
> > the return value as argument 0.  This has the advantage that the same
> > number is used for any function, regardless of arity.  It also fits the
> > way that functions are often used in goals:
> > 
> > 	Z = f(X, Y)
> 
> Adding ^0 as a synonym for ^r would be trivial to implement. Do people think
> it is a good idea?

I think it would be less confusing for users not to have ^0 as an
alternative.

> 
> > Finally, it means that we could stick with the usual abbreviation of
> > terms as Name/Arity, without (IMHO) being misleading about the browser
> > commands available.
> 
> Abbreviating function calls as func/arity+1 is not misleading any more;
> the /arity part says that ^1 through ^arity will work, and the +1 promises
> ^r will work.

Then why not write it as "func/arity+r" rather than "+1"?

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

-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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