Greg Pfeil
Greg Pfeil
And this has a dual … that the `Any` wart should be allowed in a contravariant context.
To somewhat echo @paulp’s statement, although these questions are sincere: can anyone who would run into the `toJson` example possibly enable the wart on their code base? Do they somehow...
Somehow I missed these comments. Thanks for the clarification. I think the `implicit class` recommendation should be mentioned in the README (I’ll probably submit a PR for that shortly).
For local imports, we could always resolve the truename, and cache that as the import path, right? That would let us see when we’ve already imported something, or when something...
Yeah, I like this – I couldn’t easily figure out if I get to use super-/subscripts, but at least I get all my mathematical letters – script, bold, double-struck, etc....
Hah, yes – I was about to go over this and the even older PR that’s still open. See if there’s anything worth salvaging – at least open some issues.
Yeah, that would be awesome. Feel free to poke me if you run into anything confusing on the Matryoshka side of things. I’m more than happy to help out.
Yeah, I actually had a different encoding of vars, but thought it cluttered up the hand-waving.
implicitly[Recursive[Fix[Option]]] ambiguity between recursiveTRecursive and birecursiveTBirecursive
Thanks, @klaeufer. Currently, this isn’t much of a problem in practice, because it’s rare that you can actually resolve `Recursive[T]`, usually you need `Recursive.Aux[T, F]`, and (unfortunately) you can’t get...
implicitly[Recursive[Fix[Option]]] ambiguity between recursiveTRecursive and birecursiveTBirecursive
I just ran into this, which reminded me of this issue, and so I’ll actually fix it now 😆 (Although I hope it’s not gotten in your way in the...