diff options
| author | Kazuhiko Sakaguchi | 2021-03-10 13:07:58 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2021-03-13 02:09:53 +0900 |
| commit | 27270870ea75e77808d8e1b4af4998c0b57255ae (patch) | |
| tree | 4b56407c589301b70d4153668184e64d0b5a9a19 /doc | |
| parent | d33266649d285b7d8ba5a7093319faa6132d6bc9 (diff) | |
Minimize the set of multiple inheritance paths to check for conversion
The table of coercion classes (`class_tab`) has been extended with information
about reachability. The conversion checking of a pair of multiple inheritance
paths (of coercions) will be skipped if these paths can be reduced to smaller
adjoining pairs of multiple inheritance paths, and this reduction will be
determined based on that reachability information.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/07-vernac-commands-and-options/13909-reduce-ambiguous-paths.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/changelog/07-vernac-commands-and-options/13909-reduce-ambiguous-paths.rst b/doc/changelog/07-vernac-commands-and-options/13909-reduce-ambiguous-paths.rst new file mode 100644 index 0000000000..c5a2172005 --- /dev/null +++ b/doc/changelog/07-vernac-commands-and-options/13909-reduce-ambiguous-paths.rst @@ -0,0 +1,6 @@ +- **Changed:** + Improve the :cmd:`Coercion` command to reduce the number of ambiguous paths to + report. A pair of multiple inheritance paths that can be reduced to smaller + adjoining pairs will not be reported as ambiguous paths anymore. + (`#13909 <https://github.com/coq/coq/pull/13909>`_, + by Kazuhiko Sakaguchi). |