diff options
Diffstat (limited to 'src/Haddock')
| -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 766f12ed..f2fdd377 100644 --- a/src/Haddock/Lex.x +++ b/src/Haddock/Lex.x @@ -52,6 +52,7 @@ $ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~\:] $ws* [\*\-] { token TokBullet `andBegin` string } $ws* \[ { token TokDefStart `andBegin` def } $ws* \( $digit+ \) { token TokNumber `andBegin` string } + $ws* $digit+ \. { token TokNumber `andBegin` string } $ws* { begin string } } |