RE: [Axiom-developer] Bootstrap documentation.

[Bill Page]

Martin,

On May 7, 2007 3:49 PM you wrote:
> ...
> I guess the whole bootstrap problem would go away with 
> "extend"...  What a pity!
> 

Could you explain why you think the bootstrap problem would
go away this extend?

> \section{The bootstrap problem\dots}
> 
> The current Axiom compiler compiles each constructor (category,
> domain or package) separately.  In order to perform type checking
> Axiom needs type information from other constructors. ...

Excellent documentation, Waldek. Thanks!

Regards,
Bill Page.