Georgi Krastev
Georgi Krastev
I'm not sure anyone is using SyB these days
Shapeless 3 is out at https://github.com/typelevel/shapeless-3
F-bounded types strike again? ```scala scala> List("", LocalDate.now(), LocalDateTime.now()) res1: List[Comparable[_ >: java.time.chrono.ChronoLocalDateTime[?0] with java.time.chrono.ChronoLocalDate with String forSome { type ?0 } : java.time.chrono.ChronoLocalDateTime[?0] with java.time.chrono.ChronoLocalDate with String forSome {...
I'm not 100% sure myself, so take with a grain of salt, but my reasoning goes like this The issue is not with shapeless itself, but with subtyping tests taking...
But those are scala-compiler classes not shapeless classes :thinking:
Right but this method `implicitNotFoundMessage` is called in macros at compile time.
Does it also happen with 2.3.4?
Those classes are called at compile time by macros - maybe the issue is with `sbt-missinglink`
`Witness` is going away in favour of singleton types and `ValueOf`. At this point it makes no sense to add more features to it.
Minor correction - `Getter[-A, +B]` does not preclude invariant `Lens[A, B] extends Getter[A, B]` but I think it's better to keep polymorphic lenses anyway. To me both `Zippable` and `Applicative`...