"Bill Page" <[EMAIL PROTECTED]> writes: | On Tue, Apr 8, 2008 at 10:34 PM, Gabriel Dos Reis wrote: | > On Tue, Apr 8, 2008 at 7:33 PM, Bill Page wrote: | > | > http://axiom-wiki.newsynthesis.org/SandBoxMyReduceInOpenAxiom | > | > > | > > ??changed: | > > -Notice that it fails in the same way as above, but it would work | > > if we used the original trick of applying the function before comparing | > > it. Notice that it fails in the same way as above: | > | > That isn't science. | > | > The original problem is ill-defined: what does not it mean to compare | > two functions? | > | | In another thread you suggested that the internal function named | 'newGoGet' occurs only in my test package in SandBoxMyReduce. I do not | think this is the case.
The Mapping domain is such that it never itself generates a `newGoGet' -- it is an old style domain, and its functions are always resolved when it is instantiated. That is why I was puzzled and I'm still puzzled that you claim `newGoGet' came from Mapping. It just does not. Someone else did. In fact, MyReduce asked for '+' in Integer, and got a stub and passed that around for Mapping to compare. [...] | 'newGoGet' is defined in 'nrunfast.boot'. Here we see that 'newGoGet' | calls 'replaceGoGetSlot' to resolve the operation before actually | calling it. We can set: | | )lisp (setq |$monitorNewWorld| t) | | to see this happen. I think I would like to call 'replaceGoGetSlot | env' inside MappingEqual to make sure that the resolution is done | before the comparison. But I am rather lost in this code and do not | know to construct 'env' for this call in the context of MappingEqual. | Any help or suggestions would be appreciated. I do not doubt what you observe by tracing the call. What I disagree with is the conclusion you reached. You may hack up something by messing with replaceGoGetSlot in Mapping, but I do not think that is right. But hey, so far, we have not been doing science, just hacking. So, I suspect everything is fair game. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
