Dear Gaby, Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Currently, the Spad parser does semantics transformations based purely > on syntactic considerations -- that is not good. For example, it > would transform a `x and y' into nested `if'-expressions regardless of > the type of `x' and `y'. Those transformations happen long before > the type checker ever sees anything. We have open bug issues for that. in the longer run, would a fix imply that I can export operations conditional on arbitrary conditions, as needed in COMPLEX? That would be very very helpful indeed! Martin ------------------------------------------------------------------------- SF.Net email is sponsored by: Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
