Re: [Axiom-developer] SBCL and Axiom

[Gabriel Dos Reis]

On Tue, 13 Feb 2007, Waldek Hebisch wrote:

| Gabriel Dos Reis wrote:
| > C Y <address@hidden> 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