Martin Rubey <[EMAIL PROTECTED]> writes: | (Gaby, I'm not sure if you are listening on this list, too. And I'm not sure | whether you prefer to have all these posts as duplicates on open-axiom-devel. | I'll do whatever you wish...)
This is supposed to be week-end, and week-end is for family :-) My personal inboxes and open-axiom lists are the ones I read most frequently (then come the various projects I participate in/listen to). If there is anything about Spad you think I can answer, then it would be good if it is recorded on open-axiom for reference in the future. The only `favor' I ask in return is that anything useful or useless you come up with be published on open-axiom lists -- even when that goes against your early statements that you cannot follow OpenAxiom development. | | Martin Rubey <[EMAIL PROTECTED]> writes: | | > That means: if I could | > | > 1) find out in comp3 whether an operation is defined conditionally, and | > 2) whether we are compiling a category, and | > 3) find out how to get the right function name, | > | > then I think the optimization would be easy to do. | > | > Unfortunately, I do not know the answer to any of these. Especially 3) seems | > to be tricky to me, since there might be several functions of the same name. | > On the other hand, this problem exists also in the case of local functions. | | Oh dear, current SPAD can't deal with two local functions of the same name... Yes, the compiler does not support overloading for non-exported functions, just like the interperter does not support overloaded functions. If you are interested in category compilation, look into src/interp/define.boot and src/interp/category.boot. In general the `table' at the end of src/interp/compiler.boot gives an idea of which function compiles what. Testing for whether we are compiling a category is normally simple: test whether the target of the current constructor is $Category. For example, see compDefine1 in src/interp/define.boot. Every (exported) function is characterized by its modemap (be sure you appreciate the differences between the two kinds of modemap). So if you want to know the conditions that characterize a function, look at its modemap. -- 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
