diff options
author | David Waern <david.waern@gmail.com> | 2010-04-07 22:13:27 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2010-04-07 22:13:27 +0000 |
commit | 2a45b7c00f64ac30b29a8c0baf2e663a41faab70 (patch) | |
tree | d64bf3829fe4a29ef3862cc67d810b84f832ea63 /src | |
parent | 1e78c4dd154b41fa0a50042c97f14d918332d47b (diff) |
Fix #75
Add colons to the $ident character set.
Diffstat (limited to 'src')
-rw-r--r-- | src/Haddock/Lex.x | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Haddock/Lex.x b/src/Haddock/Lex.x index 14843aa3..115646ca 100644 --- a/src/Haddock/Lex.x +++ b/src/Haddock/Lex.x @@ -40,7 +40,7 @@ $digit = [0-9] $hexdigit = [0-9a-fA-F] $special = [\"\@] $alphanum = [A-Za-z0-9] -$ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~] +$ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~\:] :- |