On Tue, 13 Feb 2007, Waldek Hebisch wrote: | Gabriel Dos Reis wrote: | > C Y <[EMAIL PROTECTED]> writes: | > | Gaby, did SHOE ever reach a point where it could convert all of the | > | Axiom BOOT code to lisp? | > | > We are almost there. I've found that the new Boot is much simpler, | > and more comfortable to work with. | > | | Gaby, how do you plan to avoid latent bugs due to semantic differences | between Boot and Shoe? AFAICS Shoe accepts almast all (or maybe all) | Boot,
Almost -- not all. If you run the New Boot translator on some files in src/interp, you'll get syntax errors. | but trying to use it results in build failure due to mistranslation. What mistranslation? | Do you have a tool that can flag places where semantics of Boot and Shoe | differ? No, but the only places I'm aware of where both languages differ is in a tiny part of "built-in" or "library" functions. To have a tool that does what you say, we must have the difference in semantics documented. The differences are apparent once we have the table in front of our eyes, and there we can have a warning is we want. For any other construct, I'm not aware of semantics difference. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
