1 Apr
2015
1 Apr
'15
7:48 a.m.
Hi again, I wrote:
In parsec,
(many1 (string "a") <|> many1 (string "b")) >> string "c"
accepts "bc", but I don't see how the corresponding grammar can be par-séd.
Sorry, I think I was confused because your implementation looked like an attempt at unlimited backtracking to me. To compare with Parsec, it is better to treat your implementation as an attempt to implement Parsec's semantics. In that case, we should note that in Parsec, (string "ab" <|> string "a") rejects "a", but maybe your implementation would accept it? Tillmann