Re: [Axiom-developer] SBCL and Axiom

[Waldek Hebisch]

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, but trying to use it results in build failure due to mistranslation.
Do you have a tool that can flag places where semantics of Boot and Shoe
differ?

-- 
                              Waldek Hebisch
address@hidden