Problem with Parser combinators

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Problem with Parser combinators

Hello, all!

I try this parser for `Read` instance:

  import qualified Text.ParserCombinators.ReadP    as P
  import qualified Text.ParserCombinators.ReadPrec as RP
  import Data.Text                                 as T

  instance Read RV where
    readPrec = parens $ do
      RP.lift P.skipSpaces
      s <- RP.look
      guard (not $ null s)
      (RP.+++) (RV1 <$> readPrec::RP.ReadPrec RV) (pure $ RV2 $ T.pack s)

And see that `+++` (or <|>) works in strange way (I don't understand
what happens). IMHO if first parser fails (i.e. `RV1 <$> readPrec::RP.ReadPrec RV`)
then second should return `RV2 $ T.pack s`). But seems that if 1st
fails then all fail too! I tried `+++`, `<++`, `<|>` - the same result.
How is it possible?!

I need to return something if parsing fails. Best is to return another
parser but initial problem was that alternative parser must return the
same type as first one. So, I decided to return "constant" - here it is
`RV2 $ T.pack s`. Guarding from empty string is needed for this
alternative value which I'll return when 1st parser fails. But... seems
something is wrong.

Best regards, Paul
Beginners mailing list
[hidden email]