Re: GenLex stream parsers too eager?

From: mattwb@valery.alve.com
Date: Tue Jan 26 1999 - 20:17:54 MET


From: mattwb@valery.alve.com
Date: Tue, 26 Jan 1999 13:17:54 -0600
Message-Id: <199901261917.NAA00701@valery.alve.com>
To: dmcclain@azstarnet.com
Subject: Re: GenLex stream parsers too eager?

>
>From: "David McClain" <dmcclain@azstarnet.com>
>
>It appears that the Genlex derived parsers always eagerly tokenize =
>negaitve integer and float constants. This causes incorrect behavior in =
>closely spaced code (no-spaces):
>
> a-2*c --> parses as "a", "-2" ,"*", "c" instead of =
>"a","-","2","*","c"
>
>So instead of getting one expression tree, I get two, with the first =
>containing only "a".
>Also, if the operator were exponentiation instead of multiplication, the =
>second tree would incorrectly compute a (possibly) complex valued =
>expression instead of a simple negative of a real expression.
>
>I have tried various workarounds, but they really obfuscate the original =
>recursive descent structure of parsers.
>
>Any suggestions? (Perhaps I should be using OCAMLLEX and OCAMLYACC =
>instead?)
>

I'd certainly suggest not using Genlex except for only the most trivial
things. Ocamllex and ocamlyacc are not difficult and they're much more
powerful.

>David McClain
>Sr. Scientist
>Raytheon Missile Systems Co.
>Tucson, AZ
>http://www.azstarnet.com/~dmcclain/homepage.htm
>



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:18 MET