[gambit-list] Thinking of changing pp

Marc Feeley feeley at iro.umontreal.ca
Mon Jun 2 09:25:11 EDT 2008


On 2-Jun-08, at 3:05 AM, Joel Borggrén-Franck wrote:

> Isn't this future extension? I haven't written that much code in
> gambit, but I use pp a lot, and kind of like it the way it is, so my
> suggestion is to find another name. But if you can't settle for a
> short good one then changing pp won't be the end of the world I guess.
>
> /Joel

I've thought about it some more and pp's status as a procedure is too  
valuable, so pp will stay as is.  So perhaps "debug" is the best  
name... it's just so long to type!

Marc




More information about the Gambit-list mailing list