on master help sign in
Move someSpace
09b9c07Jason Felice
src/Idris/Package/Parser.hs+2−2
@@ -127,7 +127,7 @@ textUntilEol :: MonadicParsing m => m String
127textUntilEol = many (P.satisfy (not . isEol)) <* eol <* P.someSpace
127textUntilEol = many (P.satisfy (not . isEol)) <* eol <* P.someSpace
128
128
129clause :: String -> PParser a -> (PkgDesc -> a -> PkgDesc) -> PParser ()
129clause :: String -> PParser a -> (PkgDesc -> a -> PkgDesc) -> PParser ()
130−clause name p f = do value <- reserved name *> lchar '=' *> p
130+clause name p f = do value <- reserved name *> lchar '=' *> p <* P.someSpace
131 modify $ \st -> f st value
131 modify $ \st -> f st value
132
132
133commaSep :: MonadicParsing m => m a -> m [a]
133commaSep :: MonadicParsing m => m a -> m [a]
@@ -153,6 +153,6 @@ pClause = clause "executable" filename (\st v -> st { execout = Just v })
153 <|> clause "homepage" textUntilEol (\st v -> st { pkghomepage = Just v })
153 <|> clause "homepage" textUntilEol (\st v -> st { pkghomepage = Just v })
154 <|> clause "sourceloc" textUntilEol (\st v -> st { pkgsourceloc = Just v })
154 <|> clause "sourceloc" textUntilEol (\st v -> st { pkgsourceloc = Just v })
155 <|> clause "bugtracker" textUntilEol (\st v -> st { pkgbugtracker = Just v })
155 <|> clause "bugtracker" textUntilEol (\st v -> st { pkgbugtracker = Just v })
156− <|> clause "brief" (P.stringLiteral <* P.someSpace) (\st v -> st { pkgbrief = Just v })
156+ <|> clause "brief" P.stringLiteral (\st v -> st { pkgbrief = Just v })
157 <|> clause "author" textUntilEol (\st v -> st { pkgauthor = Just v })
157 <|> clause "author" textUntilEol (\st v -> st { pkgauthor = Just v })
158 <|> clause "maintainer" textUntilEol (\st v -> st { pkgmaintainer = Just v })
158 <|> clause "maintainer" textUntilEol (\st v -> st { pkgmaintainer = Just v })