[Haskell-cafe] Sequencing Parsers: a Simple Example

[PR Stanley]

Hi
(>>=) :: Parser a -> Parser b -> Parser b
p >>= f = \inp ->
   case p inp of
     [] -> []
     [(v, out)] -> parse (f v) out
based on a lot of guesswork, after the mess created by the OCR, I 
managed to get the above example to work syntactically but is it 
semantically correct?
Thanks, Paul