fix:journal:P directives: require a space after the symbol [#2280]

This prevents surprising parses, like
`P 2024-10-31 a0 1` parsed as `P 2024-10-31 a 01`.
This commit is contained in:
Simon Michael 2024-11-02 15:24:25 -10:00
parent d6080c5ff1
commit 5e0a35b1da

View File

@ -677,7 +677,7 @@ marketpricedirectivep = do
date <- try (do {LocalTime d _ <- datetimep; return d}) <|> datep -- a time is ignored
lift skipNonNewlineSpaces1
symbol <- lift commoditysymbolp
lift skipNonNewlineSpaces
lift skipNonNewlineSpaces1
price <- amountp
lift restofline
return $ PriceDirective pos date symbol price