summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Lazar <lazar6@illinois.edu>2013-03-29 11:43:49 -0700
committerDavid Lazar <lazar6@illinois.edu>2013-03-29 11:43:49 -0700
commit86636677881ab7eace0fd9b2993cfdb01adb7b18 (patch)
tree9b40e96cb359b1f223880cb650e83edb4d506c60
parentd2704c2af19ef1950a2c80909b1a513769acbe1b (diff)
Haddock reader: make clearer which production the comment refers to.
-rw-r--r--src/Text/Pandoc/Readers/Haddock/Lex.x5
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 }
}