aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorsimon.hengel <simon.hengel@wiktory.org>2010-04-08 19:26:34 +0000
committersimon.hengel <simon.hengel@wiktory.org>2010-04-08 19:26:34 +0000
commita897d5c77d0e99c586023cc4c14062ef7cc4f8a2 (patch)
tree9a5014cd040186639f12221696029042ec24b991 /src
parent33f01ea91df74992a0c6f3ea59d2ce0822ced950 (diff)
Let parsing fails on paragraphs that are immediately followed by an
example This is more consistent with the way we treat code blocks.
Diffstat (limited to 'src')
-rw-r--r--src/Haddock/Lex.x1
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}