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:19:35 +0200 |
| commit | 2952cfbab2880cec35fa57f80dd26e2b5a873cae (patch) | |
| tree | 745b1cee521775a652d79828bfe5e1eafdfc959a /latex-test | |
| parent | e8542876e9c75a8616f92d47ef7946ff663e6275 (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.
(cherry picked from commit d504a2864a4e1982e142cf88c023e7caeea3b76f)
Diffstat (limited to 'latex-test')
0 files changed, 0 insertions, 0 deletions