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.
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
