diff options
| author | Simon Jakobi <simon.jakobi@gmail.com> | 2018-06-22 21:37:22 +0200 |
|---|---|---|
| committer | Simon Jakobi <simon.jakobi@gmail.com> | 2018-07-20 16:18:21 +0200 |
| commit | d504a2864a4e1982e142cf88c023e7caeea3b76f (patch) | |
| tree | 8946f8507523d5087e8d6f260960775b5d438370 /latex-test/ref/GadtConstructorArgs/main.tex | |
| parent | e3b86a49b57f9b127d9c98e47e61fb15f58478e7 (diff) | |
Don't warn about ambiguous identifiers when the candidate names belong to the same type
This also changes the defaulting heuristic for ambiguous identifiers.
We now prefer local names primarily, and type constructors or class
names secondarily.
Partially fixes #854.
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/main.tex')
0 files changed, 0 insertions, 0 deletions