diff options
| author | David Waern <david.waern@gmail.com> | 2011-11-26 04:20:12 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2011-11-26 04:20:12 +0100 |
| commit | 3ebdc745d7bc79307986332dc71f3495099b4579 (patch) | |
| tree | c1e15b26b65e079a52000b37791077eee687d659 /html/Ocean.std-theme/synopsis.png | |
| parent | c3278a9d3c17ea0929d39116e431a2839bb845ca (diff) | |
Give preference to type over data constructors for doc comment links at renaming time.
Previously this was done in the backends.
Also, warn when a doc comment refers to something that is in scope but which we
don't have the .haddock file for.
These changes mean we can make DocIdentifier [a] into DocIdentifier a.
Diffstat (limited to 'html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions