Merge pull request #1205 from ngzhian/remove-unused

Remove unused code
This commit is contained in:
Vidar Holen
2018-05-12 19:15:42 -07:00
committed by GitHub

View File

@@ -1223,12 +1223,6 @@ doubleQuotedPart = readDoubleLiteral <|> readDoubleQuotedDollar <|> readQuotedBa
"This is a unicode quote. Delete and retype it (or ignore/singlequote for literal)." "This is a unicode quote. Delete and retype it (or ignore/singlequote for literal)."
return $ T_Literal id [c] return $ T_Literal id [c]
readDoubleQuotedLiteral = do
doubleQuote
x <- readDoubleLiteral
doubleQuote
return x
readDoubleLiteral = do readDoubleLiteral = do
id <- getNextId id <- getNextId
s <- many1 readDoubleLiteralPart s <- many1 readDoubleLiteralPart