Greetings! "Bill Page" <[EMAIL PROTECTED]> writes:
> Camm, what do you mean by "GCL lisp interface to flex and > bison"? These are external programs that produce "C" code. > Do you just mean creating the bindings that would allow the > generated parser code to be called from lisp? Well, I meant defining some lisp representation if the flex and bison input, which upon compilation wrote flex and bison C routines which are loaded in the normal way. In GCL, one really does have access to anything one has in C. If we were ever to pursue this, I really would advocate not using an experimental lexer and parser. No need to reinvent critical tools when well tested ones are available with a little glue. Take care, > > On another related subject, I think this thread in gcl-devel > is very relevant to our discussion of the future of SPAD and > Aldor: > > http://lists.gnu.org/archive/html/gcl-devel/2005-10/msg00045.html > > within which Robert Boyer discussing ML, strong typing and > proof theory. > > Regards, > Bill Page. > > > > > _______________________________________________ > Axiom-developer mailing list > Axiom-developer@nongnu.org > http://lists.nongnu.org/mailman/listinfo/axiom-developer > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
