search

tek / splain

better implicit errors for scala
MIT License
370 stars 29 forks source link

diverging implicits #11

Closed drdozer closed 7 years ago

drdozer commented 7 years ago

I've got a bunch of 'diverging implicit expansion' problems. Is there any way that splain could show me clearer details about this? The stack of implicits up to the divergence, and the divergent options?

tek commented 7 years ago

divergence goes through a shitload of private objects and functions with no easy override possibility, so this is probably not happening soon…it would require copying half of the typer's code into the plugin.

drdozer commented 7 years ago

OK, thanks -- here's hoping dotty does better

tribbloid commented 2 years ago

@drdozer @tek I've recently found a bypass that allows capturing DIE error without modifying too much code. Can we move the discussion to the new ticket?

drdozer commented 2 years ago

Hey. I'm mainly coding in Rust and Julia these days, so don't have a dog in this fight any more.