"Bill Page" <[EMAIL PROTECTED]> writes: | On Tue, Apr 8, 2008 at 12:52 PM, Waldek Hebisch wrote: | > | > Bill Page wrote: | > ... | > > For inspiration I was looking at | > > | > > MappingEqual(x, y, dom) == EQ(x,y) | > > | > > in 'buildom.boot'. Do you think this is a bug? | > > | > | > IMHO think that this definition is not simply a bug -- it is | > a conscious decision to give wrong definition when type | > rules require something and correct thing can not be | > implemented | > | | By "type rules" do you mean the function signature? Isn't that | properly reflected in the function name when the name is fully | resolved? The bug I think, is that MappingEqual does not attempt to | resolve the 'newGoGet' indirection.
In fact Mapping should not get a newGoGet -- that it does, puzzles me. Which system was that? -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Register now and save $200. Hurry, offer ends at 11:59 p.m., Monday, April 7! Use priority code J8TLD2. 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
