lexing strings

From: Lyn A Headley (laheadle@midway.uchicago.edu)
Date: Mon Jun 02 1997 - 01:53:12 MET DST

Message-Id: <199706012353.SAA06495@kimbark.uchicago.edu>
To: caml-list@inria.fr
Subject: lexing strings
Date: Sun, 01 Jun 1997 18:53:12 -0500
From: Lyn A Headley <laheadle@midway.uchicago.edu>


I pored over the flex/bison manuals without finding an answer,
so I hope this question is nontrivial.

I'm having a rough time lexing strings with ocamllex, just using
the normal read-eval-print interpreter whose main grammar rule is:

expr EOL { $1 }

with one of the 'expr' rules like this:
| STRING { (O.String $1) }

My lex file has a rule like this:

| '\'' { slurp lexbuf }

recursively lexing strings according to rule 'slurp'. slurp's main
regex looks like this:


which should match any sequence of non-newlines until it reaches a '
not preceded by a backslash. slurp returns the token: STRING(!build)).

My intent, when reading a string, is for the lexer to see the first ',
jump into 'slurp,' eat up the string and return it as the STRING token,
then have the parser read a newline and return EOL, thus matching the
main grammar rule and printing the result. This almost works, but not
until the user types _two_ newlines will the "interpreter" respond
by printing the expression value! i.e., typing

'hi' [newline]

at the prompt is not enough; two newlines are required. Other than
that, the expected value is returned. Does this mean that the first
newline is interpreted as part of the STRING? Why would my regex match
the newline?

any help appreciated,

Lyn Headley

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