From 1547561fa5123f2357fb64111c233844292b4a1b Mon Sep 17 00:00:00 2001 From: Joscha Date: Sun, 13 Dec 2020 21:55:24 +0000 Subject: [PATCH] Switch name quotes to single quotes --- src/Propa/Prolog/Parse.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Propa/Prolog/Parse.hs b/src/Propa/Prolog/Parse.hs index ac85a11..6aba6b4 100644 --- a/src/Propa/Prolog/Parse.hs +++ b/src/Propa/Prolog/Parse.hs @@ -42,7 +42,7 @@ pName :: Parser T.Text pName = lexeme $ unquotedName <|> quotedName where unquotedName = takeWhile1P (Just "lowercase character") isLower - quotedName = fmap T.pack $ C.char '"' *> manyTill L.charLiteral (C.char '"') + quotedName = fmap T.pack $ C.char '\'' *> manyTill L.charLiteral (C.char '\'') pVarName :: Parser T.Text pVarName = lexeme $ takeWhile1P (Just "uppercase character") isUpper