¿Qué significa la advertencia "no es un tipo simple" en Scala?

Mi Scala proyecto 2.9.1 ahora emite 176 advertencias, todo casi exactamente como ésta:¿Qué significa la advertencia "no es un tipo simple" en Scala?

[warn] Not a simple type: 
[warn] Type: _29.type#source.type forSome { type _29.type <: Ontology.this.TruncationFunctor } (class class scala.tools.nsc.symtab.Types$ExistentialType) 
[warn] Transformed: class xsbti.api.Existential

(Comenzó con menos, pero mi estilo de codificación parece provocar esta advertencia, ya que estoy cada vez más y más.)

¿Alguien puede explicarme qué significa esta advertencia y cómo debo evitarla? El compilador no emite ningún número de línea, por lo que ni siquiera estoy seguro de dónde viene exactamente.

Fuente

2012-01-03 Scott Morrison

Sin duda, si se crea a medida que éstos código, puede averiguar qué es lo que les está causando. –

Intente aislar la advertencia haciendo un pequeño archivo de prueba con fragmentos de su código. –

@RexKerr, uno pensaría. Desafortunadamente, aparecieron durante refactorizaciones grandes de mi código (por ejemplo, al cambiar un montón de parámetros de tipo a miembros de tipo abstracto), durante los cuales los errores estaban ahogando la advertencia. Como todo compilado (con advertencias) y probado al final, no me detuve a investigar las advertencias. –

Esto parece ser específico de sbt donde una suposición acerca de los tipos es incorrecta y se emite un aviso. Parece que este fragmento de código se ejecuta cuando sbt necesita extraer algo de información de los archivos fuente.

Ver https://github.com/harrah/xsbt/blob/0.11/compile/interface/API.scala#L105

Mi conjetura salvaje sería una combinación de tipos existenciales y tipo de proyección está causando esto. Es posible que desee informar esto como un problema de sbt si puede restringirlo.

Fuente

2012-01-03 05:03:20 huynhjl

Gracias, huynhjl, eso me tranquiliza. Dudo que invierta mucho tiempo, pero si encuentro un pequeño caso de prueba, me aseguraré de contribuir con el sbt. –

Esa es una cuestión de SBT: https://github.com/sbt/sbt/issues/830. El nivel de este mensaje se cambió de advertencia para iniciar sesión en 0.13.6.

Por favor, eche un vistazo a la discusión relacionada en el grupo Scala-internos: https://groups.google.com/forum/#!msg/scala-internals/ANcaI6dVYPw/2Gt5z_S3Gc0J

Fuente

2015-10-27 13:13:27 dkolmakov

¿Qué significa la advertencia "no es un tipo simple" en Scala?

Respuesta

Cuestiones relacionadas