diff options
author | David Lazar <lazar6@illinois.edu> | 2013-03-29 11:43:49 -0700 |
---|---|---|
committer | David Lazar <lazar6@illinois.edu> | 2013-03-29 11:43:49 -0700 |
commit | 86636677881ab7eace0fd9b2993cfdb01adb7b18 (patch) | |
tree | 9b40e96cb359b1f223880cb650e83edb4d506c60 /src/Text/Pandoc | |
parent | d2704c2af19ef1950a2c80909b1a513769acbe1b (diff) | |
download | pandoc-86636677881ab7eace0fd9b2993cfdb01adb7b18.tar.gz |
Haddock reader: make clearer which production the comment refers to.
Diffstat (limited to 'src/Text/Pandoc')
-rw-r--r-- | src/Text/Pandoc/Readers/Haddock/Lex.x | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Readers/Haddock/Lex.x b/src/Text/Pandoc/Readers/Haddock/Lex.x index 9d686c885..a84204e83 100644 --- a/src/Text/Pandoc/Readers/Haddock/Lex.x +++ b/src/Text/Pandoc/Readers/Haddock/Lex.x @@ -55,14 +55,15 @@ $ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~\:] <line> { $ws* \> { begin birdtrack } $ws* \>\>\> { strtoken TokExamplePrompt `andBegin` exampleexpr } - $ws* \n { token TokPara `andBegin` para } - -- Here, we really want to be able to say + $ws* \n { token TokPara `andBegin` para } + -- ^ Here, we really want to be able to say -- $ws* (\n | <eof>) { token TokPara `andBegin` para} -- because otherwise a trailing line of whitespace will result in -- a spurious TokString at the end of a docstring. We don't have <eof>, -- though (NOW I realise what it was for :-). To get around this, we always -- append \n to the end of a docstring. + () { begin string } } |