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 /kernel/nativecode.mli | |
| 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 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions