| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Syntax.Parser.StringLiterals
Description
The code to lex string and character literals. Basically the same code as in GHC.
Documentation
litString :: LexAction Token Source #
Lex a string literal. Assumes that a double quote has been lexed.
litChar :: LexAction Token Source #
Lex a character literal. Assumes that a single quote has been lexed. A character literal is lexed in exactly the same way as a string literal. Only before returning the token do we check that the lexed string is of length 1. This is maybe not the most efficient way of doing things, but on the other hand it will only be inefficient if there is a lexical error.