Punctuated message.
This commit is contained in:
parent
bb7e844125
commit
807e56355d
|
@ -434,7 +434,7 @@ readCondition = do
|
||||||
close <- (try $ string "]]") <|> (string "]") <|> do
|
close <- (try $ string "]]") <|> (string "]") <|> do
|
||||||
let match = (if single then "]" else "]]")
|
let match = (if single then "]" else "]]")
|
||||||
parseProblemAt opos ErrorC $ "Couldn't find matching " ++ match ++ "."
|
parseProblemAt opos ErrorC $ "Couldn't find matching " ++ match ++ "."
|
||||||
parseProblem ErrorC $ "Expected " ++ match
|
parseProblem ErrorC $ "Expected " ++ match ++ "."
|
||||||
fail "condition"
|
fail "condition"
|
||||||
|
|
||||||
when (open == "[[" && close /= "]]") $ parseProblemAt cpos ErrorC "Did you mean ]] ?"
|
when (open == "[[" && close /= "]]") $ parseProblemAt cpos ErrorC "Did you mean ]] ?"
|
||||||
|
|
Loading…
Reference in New Issue