We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2926264 commit 6d366b2Copy full SHA for 6d366b2
kore/src/Kore/Parser/Lexeme.hs
@@ -267,7 +267,7 @@ sourcePosToFileLocation
267
-}
268
stringParserToIdParser :: Parser String -> Parser Id
269
stringParserToIdParser stringRawParser = do
270
- pos <- sourcePosToFileLocation <$> getSourcePos
+ !pos <- sourcePosToFileLocation <$> getSourcePos
271
name <- lexeme stringRawParser
272
return Id
273
{ getId = Text.pack name
0 commit comments