swing - swing.event.ListSelectionChanged で型消去

Question

次の Scala Swing コードで型消去に関するパターン マッチャーの警告が表示されるのはなぜですか。

import scala.swing._

object Test extends ListView(Seq(1, 2, 3)) {
  listenTo(selection)
  reactions += {
    case event.ListSelectionChanged(_, range, _) => println(range)
  }
}

警告は次のとおりです。

warning: non variable type-argument A in type pattern
scala.swing.event.ListSelectionChanged[A] is unchecked 
since it is eliminated by erasure
             case event.ListSelectionChanged(_, range, _) => println(range)
                                            ^

これは Scala Swing のひどい設計ですか、それとも何か間違ったことをしていますか?

Answer 1

この問題は、新しい Scala 2.10 パターン マッチャーで解消されました。