blob: b55b7cb22935d0c3b217ea1793689c7c65c79345 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// check the interaction between constants and type tests in creating the equality axioms
object Test {
type Formula = List[String]
val TrueF: Formula = List()
def distribute(a: Formula, b: Formula) = (a, b) match {
case (TrueF, _) =>
case (_, TrueF) => // bug: considered unreachable
case (a :: Nil, b :: Nil) =>
case _ =>
}
}
|