 
            
            
            
            
                1 Apr
                
                    2015
                
            
            
                1 Apr
                
                '15
                
            
            
            
        
    
                6:52 a.m.
            
        Hi, Mike Izbicki wrote:
I don't want to bash your library, but I fear you made a wrong choice. 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. Maybe you should replace a failure by a list of successes? Tillmann