diff options
| author | simonmar <unknown> | 2004-07-22 08:54:06 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2004-07-22 08:54:06 +0000 |
| commit | 1d7bc432f61f221c16ecf96903a56a7e5724a587 (patch) | |
| tree | 8a5428499f53db9b8fbd36287f99fd0ae7959d44 | |
| parent | 46dec6c5afd0273a03ca7526c4b6af8f1fbaca26 (diff) | |
[haddock @ 2004-07-22 08:54:06 by simonmar]
Add single quote to $ident, so you can say eg. 'foldl'' to refer to
foldl' (the longest match rule is our friend).
Bug reported by Adrian Hey <ahey@iee.org>
| -rw-r--r-- | src/HaddockLex.x | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/HaddockLex.x b/src/HaddockLex.x index c521046f..06242ec5 100644 --- a/src/HaddockLex.x +++ b/src/HaddockLex.x @@ -21,7 +21,7 @@ $ws = $white # \n $digit = [0-9] $special = [\"\@\/] $alphanum = [A-Za-z0-9] -$ident = [$alphanum \_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~] +$ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~] :- |