blob: 2123237b54122362000018402e840981b6a17926 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class ParseResult[+T]
case class Success[+T](t: T) extends ParseResult[T]
abstract class Nonterminal[Output] {
type SubNonterminal = Nonterminal[_ <: Output]
def parse: ParseResult[Output]
def parse1(nts: List[SubNonterminal]): ParseResult[Output] =
nts match {
case nt::nts => nt.parse match { case Success(so) => Success(so) }
case Nil => throw new Error
}
}
|