git.iko.soy/typeable/attoparsec
on master help sign in
Fix bug in plus/<|> where added would be discarded if LHS succeeded
commitc7075143030881f9c97d3f9716f6ed4d5983e0f4 authorMax Bolingbroke <batterseapower@hotmail.com> dateTue 29 Jan 2013, 09:35 (14 years ago) parent3726b24
1 file changed+2−1
compare with master
unifiedsplit
Data/Attoparsec/Internal/Types.hs+2−1
Data/Attoparsec/Internal/Types.hs+2−1
@@ -148,7 +148,8 @@ plus :: (Monoid t) => Parser t a -> Parser t a -> Parser t a
148148plus a b = Parser $ \i0 a0 m0 kf ks ->
149149 let kf' i1 a1 m1 _ _ = addS i0 a0 m0 i1 a1 m1 $
150150 \ i2 a2 m2 -> runParser b i2 a2 m2 kf ks
151− in noAdds i0 a0 m0 $ \i2 a2 m2 -> runParser a i2 a2 m2 kf' ks
151+ ks' i1 a1 m1 = ks i1 (A (unA a0 <> unA a1)) m1
152+ in noAdds i0 a0 m0 $ \i2 a2 m2 -> runParser a i2 a2 m2 kf' ks'
152153{-# INLINE plus #-}
153154
154155instance (Monoid t) => MonadPlus (Parser t) where