Re: [Axiom-developer] Bootstrap documentation.

[Gabriel Dos Reis]

On Tue, 8 May 2007, Ralf Hemmecke wrote:

| > I want distinct domains for literals, fields, types, expressions, etc. 
| 
| Do you insist on domains or would something like the ExpressionTree and
| friends in LibAlgebra http://www-sop.inria.fr/cafe/Manuel.Bronstein/algebra/
| do?

I insist on distinct domains for distinct notions present in the C language.

| I guess you'd need domains for mutual recursion in the grammar, right?

yes.

-- Gaby