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 /latex | |
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 'latex')
0 files changed, 0 insertions, 0 deletions