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