> There is absolutely no implication of consuming anything in the definitions > of many or some. This is how they happen to behave when used in the context > of some parsing libraries, but that's all. If many or some always go into an > infinite loop for some Alternative instance, then I suspect that the > instance itself is either broken or shouldn't exist.
So, then... The instance for Maybe shouldn't exist? Prelude Control.Applicative> some Nothing Nothing Prelude Control.Applicative> some $ Just () ^CInterrupted. Carl _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
