@@ -80,16 +80,14 @@ pPkgName = (either fail pure . pkgName =<< packageName) <?> "PkgName"
8080-- | Treated for now as an identifier or a double-quoted string.
8181filename :: (MonadicParsing m) => m String
8282filename = (do
83− filename <- P.token $
84− -- Treat a double-quoted string as a filename to support spaces.
85− -- This also moves away from tying filenames to identifiers, so
86− -- it will also accept hyphens
87− -- (https://github.com/idris-lang/Idris-dev/issues/2721)
88− P.stringLiteral
89− <|>
90− -- Through at least version 0.9.19.1, IPKG executable values were
91− -- possibly namespaced identifiers, like foo.bar.baz.
92− show <$> fst <$> iName []
83+ -- Treat a double-quoted string as a filename to support spaces.
84+ -- This also moves away from tying filenames to identifiers, so
85+ -- it will also accept hyphens
86+ -- (https://github.com/idris-lang/Idris-dev/issues/2721)
87+ filename <- P.stringLiteral <* someSpace'
88+ -- Through at least version 0.9.19.1, IPKG executable values were
89+ -- possibly namespaced identifiers, like foo.bar.baz.
90+ <|> show . fst <$> iName []
9391 case filenameErrorMessage filename of
9492 Just errorMessage -> fail errorMessage
9593 Nothing -> return filename)