summaryrefslogtreecommitdiff
path: root/test/pending/res/bug837/DataFlowAnalysis.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/pending/res/bug837/DataFlowAnalysis.scala')
-rw-r--r--test/pending/res/bug837/DataFlowAnalysis.scala17
1 files changed, 0 insertions, 17 deletions
diff --git a/test/pending/res/bug837/DataFlowAnalysis.scala b/test/pending/res/bug837/DataFlowAnalysis.scala
deleted file mode 100644
index 25c2fbc635..0000000000
--- a/test/pending/res/bug837/DataFlowAnalysis.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-package test;
-import scala.collection.mutable._;
-trait CompleteLattice {
- trait Elem;
-}
-trait DataFlowAnalysis[L <: CompleteLattice] {
- type P;
- val lattice : L;
- val out: Map[P, lattice.Elem] = new HashMap;
-}
-abstract class Liveness {
- object livenessLattice extends CompleteLattice;
- final class LivenessAnalysis extends DataFlowAnalysis[livenessLattice.type] {
- type P = String;
- val lattice = livenessLattice;
- }
-}