diff options
| -rw-r--r-- | src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala b/src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala index de220a2db0..f124ea777f 100644 --- a/src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala +++ b/src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala @@ -10,19 +10,7 @@ package scala.tools.nsc.backend.icode.analysis /** A complete lattice. */ trait CompleteLattice { - type Elem <: AbstractState[A, B] forSome {type A; type B;} - - /** Abstract states for icode. Pairs stack and local variable state - * Equality is structural, except for the <code>bottom</code> value. - */ - abstract class AbstractState[+A, +B](val stack: A, val vars: B) { - override def equals(other: Any): Boolean = other match { - case that: AbstractState[_, _] => - if ((that eq bottom) || (this eq bottom)) this eq that - else (stack == that.stack && vars == that.vars) - case _ => false - } - } + type Elem /** Return the least upper bound of <code>a</code> and <code>b</code> */ def lub2(a: Elem, b: Elem): Elem |