diff options
Diffstat (limited to 'src/Haddock/Lex.x')
| -rw-r--r-- | src/Haddock/Lex.x | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/src/Haddock/Lex.x b/src/Haddock/Lex.x index 77d22723..fca2bf7f 100644 --- a/src/Haddock/Lex.x +++ b/src/Haddock/Lex.x @@ -58,6 +58,7 @@ $ident    = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~\:]  -- beginning of a line  <line> {    $ws* \>		{ begin birdtrack } +  $ws* ghci \>		{ strtoken TokExamplePrompt `andBegin` exampleexpr }    $ws* \n		{ token TokPara `andBegin` para }    -- Here, we really want to be able to say    -- $ws* (\n | <eof>) 	{ token TokPara `andBegin` para} | 
