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 /examples/hide-bug | |
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>
Diffstat (limited to 'examples/hide-bug')
0 files changed, 0 insertions, 0 deletions