module Comparison where import Text.ParserCombinators.UU p1, p2 :: Parser Bool p1 = do pSym 'a'; fail "x" ;return True p2 = True <$ pSym 'a' <* fail "x" t :: Bool t = parse p1 (listToStr "a" (0,0)) -- parse' p str = fst $ eval $ unParser_f p (\_ -> Step 0 $ error "bla") (listToStr str (0,0))