blob: 562f7e1461015ee81b7213fb19bd3a0791b134dc (
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 _ =>
}
}
|