@@ -62,6 +62,14 @@ pPkg = do
66+-- | Parses a filename.
68+-- | Treated for now as an identifier or a double-quoted string.
69+filename :: (MonadicParsing m, HasLastTokenSpan m) => m String
70+filename = try $ (token $ stringLiteral <|> (fst <$> identifier)) <?> "filename"
65pClause :: PParser ()
73pClause :: PParser ()
66pClause = do reserved "executable"; lchar '=';
74pClause = do reserved "executable"; lchar '=';
67 exec <- fst <$> iName []
75 exec <- fst <$> iName []