git.iko.soy/Idris-dev
on master help sign in
PParser.hs: filename: Remove use of |try|
5eeaf9eJeremy W. Sherman
src/Pkg/PParser.hs+1−1
compare with master
unifiedsplit
@@ -67,7 +67,7 @@ pPkg = do
67-- |
67-- |
68-- | Treated for now as an identifier or a double-quoted string.
68-- | Treated for now as an identifier or a double-quoted string.
69filename :: (MonadicParsing m, HasLastTokenSpan m) => m String
69filename :: (MonadicParsing m, HasLastTokenSpan m) => m String
70−filename = try $ (token $ stringLiteral <|> (fst <$> identifier)) <?> "filename"
70+filename = (token $ stringLiteral <|> (fst <$> identifier)) <?> "filename"
71
71
72
72
73pClause :: PParser ()
73pClause :: PParser ()