Fix #4368: Avoid stackoverflows for some cyclic definitions#4385

Merged

Blaisorblade merged 21 commits intoscala:masterfrom

dotty-staging:fix-#4368

Jun 5, 2018

Commits on May 30, 2018

Detect and flag deep findMember recursions

odersky
authored and
Blaisorblade
committed
Add test for cyclic references involving members of inherited and intersected types

odersky
authored and
Blaisorblade
committed
Add test

odersky
authored and
Blaisorblade
committed
Detect more cyclic references

odersky
authored and
Blaisorblade
committed
Rearrange TypeError exceptions

odersky
authored and
Blaisorblade
committed
Further refactoring of stackoverflow handling

odersky
authored and
Blaisorblade
committed
Fix CyclicError reporting

odersky
authored and
Blaisorblade
committed
Fix context for cyclic error message

odersky
authored and
Blaisorblade
committed
Fix^2 context in CyclicReference toMessage

odersky
authored and
Blaisorblade
committed
Fix error annotation in test

odersky
authored and
Blaisorblade
committed
MergeError refactorings

odersky
authored and
Blaisorblade
committed
Add `append` method to Message

odersky
authored and
Blaisorblade
committed
Also catch TypeErrors in all transforms

odersky
authored and
Blaisorblade
committed
rearrange try-catch in MegaPhase

odersky
authored and
Blaisorblade
committed
Preload handleRecursive to prevent nested stackoverflows
Blaisorblade
committed
Ensure `-YshowSuppressedErrors` also affects `UniqueMessagePositions`
Blaisorblade
committed
Fix typo in modified (commented-out) code
Blaisorblade
committed
Add a flag to disable handleRecursive
Blaisorblade
committed
Typer: Refine position when catching top-level TypeError
Blaisorblade
committed
Address review feedback
Blaisorblade
committed

Commits on Jun 4, 2018

Negate description of negated option
Blaisorblade
committed