test/files/pos/t0422.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package scala.xml.dtd.impl

object BoolWordExp extends WordExp {
  type _labelT = MyLabels;
  type _regexpT = RegExp;
  abstract class MyLabels extends Label ;
  case class MyLabel(c:Char) extends MyLabels;
}

object MyTranslator extends WordBerrySethi {
  override val lang = BoolWordExp;
  import lang._;
  override protected def seenLabel( r:RegExp, i:Int, label: _labelT ): Unit = {
    super.seenLabel(r,i,label)
  }
}