Questo codice viene compilato con Scala 2.9.2:strano errore con i tipi più elevati-kinded a Scala 2.10.0 (funziona con scala 2.9.2)
trait HK {
type Rep[A]
def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]])
def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps)
}
Ma con Scala 2.10.0 non si compila con il seguente errore (è abilitata la funzione lingua più alta):
[info] Compiling 1 Scala source to /home/klyuchnikov/code/hk/target/scala-2.10/classes...
[error] /home/klyuchnikov/code/hk/src/main/scala/HK.scala:6: type mismatch;
[error] found : HK.this.Rep[List[(A, B(in method doUnzip1))]]
[error] required: HK.this.Rep[List[((A, B(in method doUnzip1)), B(in method unzip1))]]
[error] def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps)
Cosa succede qui? Quali sono stati i cambiamenti nei tipi con caratteri superiori in Scala 2.10?
P.S. Se mi passa parametri di tipo in modo esplicito, allora questo codice viene compilato:
trait HK {
type Rep[A]
def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]])
def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1[A, B, List](ps)
}
Sembra un bug nella inferenza del tipo. Sembra che A in unzip1 sia dedotto dal tipo (A, B) che è davvero strano. –