summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIulian Dragos <jaguarul@gmail.com>2007-08-28 16:05:37 +0000
committerIulian Dragos <jaguarul@gmail.com>2007-08-28 16:05:37 +0000
commit79cda8f630e80919769c00a2c65a31acb92994f6 (patch)
treeb30af3f31146aaff12e46c0c9d8282b63051b015
parent25acfe6cc7a91e291c92abfea097d4e785b3461e (diff)
downloadscala-79cda8f630e80919769c00a2c65a31acb92994f6.tar.gz
scala-79cda8f630e80919769c00a2c65a31acb92994f6.tar.bz2
scala-79cda8f630e80919769c00a2c65a31acb92994f6.zip
Reverted changes to CompleteLattice which broke...
Reverted changes to CompleteLattice which broke the build.
-rw-r--r--src/compiler/scala/tools/nsc/backend/icode/analysis/CompleteLattice.scala14
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