Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
GenLex stream parsers too eager?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David McClain <dmcclain@a...>
Subject: GenLex stream parsers too eager?
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 =

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 =

David McClain
Sr. Scientist
Raytheon Missile Systems Co.
Tucson, AZ