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
Stream parsers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Frank A. Christoph <christo@n...>
Subject: Stream parsers
I have a problem with reporting error locations in stream parsers. Using the
count at the beginning of a parser match, I can get the token number of the
first element that matched a clause. But when the parser expression looks
like this (using the new syntax):

  parser bp [< e = p; 'T ?? err bp >] -> ...

you have to bend over backwards to figure out what token number the error
could have occurred on, since p could have parsed an arbitrary number of
tokens already. Is there any easy way to work around this?

Would it be possible to change the semantics of the expression on the rhs of
?? so that it is a function which gets passed the token count after having
matched the previous stream component (p, in my example)? Or, if you want to
maintain retain the current semantics, add a new form with three ?'s...