Scala 3 regression: derivation error for value classes
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 38/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- scala
- Área
- developer-experience
Línea de trabajo
Comienza reproduciendo el fallo de Scala 3 con el fragmento proporcionado de kittens 3.3.0 y compáralo con el comportamiento de Scala 2.13. Investiga semiauto.monoid[MyString] y el import sugerido de DerivedMonoid.Strict.product; el issue estará resuelto cuando la derivación de value classes funcione correctamente en Scala 3 sin el error de ProductGeneric ausente.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
"org.typelevel" %% "kittens" % "3.3.0"
import cats.derived._
case class MyString(value: String) extends AnyVal
semiauto.monoid[MyString]
this snippet compiles successfully on Scala 2.13, but fails on Scala 3:
No given instance of type cats.derived.DerivedMonoid[Playground.MyString] was found.
I found:
cats.derived.DerivedMonoid.given_DerivedMonoid_A[Playground.MyString](
shapeless3.deriving.K0.mkProductInstances[
[A] =>> cats.derived.Derived.Or[cats.kernel.Monoid[A]], Playground.MyString]
(
/* missing */
summon[shapeless3.deriving.K0.ProductGeneric[Playground.MyString]]
)
)
But Failed to synthesize an instance of type shapeless3.deriving.K0.ProductGeneric[Playground.MyString]: class MyString is not a generic product because it is a value class.
The following import might make progress towards fixing the problem:
import cats.derived.DerivedMonoid.Strict.product
Scastie: https://scastie.scala-lang.org/DqVORi3bSU6rB8JM0PupHw
- Lenguaje dominante
- Scala
- Estrellas
- 545
- Forks
- 66
- Merge medio
- 6 min
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de typelevel/kittens
-
[Scala 3] Derive ConsKAbiertoFeature
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
-
[Scala 3] Sequence supportAbiertoFeature
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
Feature
Dificultad 4/5 3-5 días Aptitud para principiantes 30/100
-
[Scala 3] derived instances are not stack-safePosiblemente ocupada @Arolg la tomó hace 123 días. AbiertoFeature
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
-
Blocked/needs help Bug
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
Todos los issues de typelevel/kittens
Issues similares
-
scope:security type:aquasec
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
AbsaOSS/atum-service#494 ·
-
Send camera_pitch and camera_roll to the AI API so validator crops can be tilt-correctedPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. AbiertoAI Auto-validate
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
ProjectSidewalk/SidewalkWebpage#5788 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
A-network C-bug S-ready-for-human
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
ergoplatform/ergo#2741 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 78/100
scalameta/metals-zed#99 ·
-
area:ops priority:P2 status:idea
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
KD5UJC-XYZ/scarab#112 ·