splain
splain copied to clipboard
tek
better implicit errors for scala
... also enabled 2 advanced gradle features: compilation cache and parallel task execution
When using zio's env, it is common to have errors where the two types differ by a single member such as `Logging with UserRepo with Clock with Random` vs `Logging...
Hey folks, sorry for bothering you with an issue, I just have a few questions: 1) I saw some activity on porting some feature flags to the built-in version, like...
I just come with the following observation when playing with it for different edge cases: ### -Vimplicits-verbose-candidate In the following example: ```scala trait F[I, O] trait G1[A, B] trait G2[A,...
Here is a simple example: ``` val a = 1 val b = 2 implicitly[a.type =:= b.type] ``` Generates the error:: ``` [Error] /......:46: implicit error; !I e (Cannot prove...
Here is a simple example: ``` class Example { type VV } val e1 = new Example { type VV
I recently stumbled upon a weird interaction between this plugin and [refined](https://github.com/fthomas/refined). The problem is referenced in a comment of [this issue](https://github.com/fthomas/refined/issues/295). To put it simply, when splain is active,...
I've found that I got compilation error in REPR when the splain plugin is enabled: ``` scala> import shapeless._, me.limansky._, cats.instances.all._ import shapeless._ import me.limansky._ import cats.instances.all._ scala> case class...
As we gradually push stable features from this plugin into Scala compiler, we expect test cases to be also migrated smoothly. Unfortunately the newer builtin test cases were written to...