From 54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8 Mon Sep 17 00:00:00 2001 From: Sean McDirmid Date: Sat, 25 Nov 2006 06:42:01 +0000 Subject: Residents tests for pending bugs that fit into ... Residents tests for pending bugs that fit into testing infrastructure. --- test/pending/res/bug837/DataFlowAnalysis.scala | 17 +++++++++++++++++ test/pending/res/bug837/DeadCode.scala | 6 ++++++ 2 files changed, 23 insertions(+) create mode 100644 test/pending/res/bug837/DataFlowAnalysis.scala create mode 100644 test/pending/res/bug837/DeadCode.scala (limited to 'test/pending/res/bug837') diff --git a/test/pending/res/bug837/DataFlowAnalysis.scala b/test/pending/res/bug837/DataFlowAnalysis.scala new file mode 100644 index 0000000000..0197f5fbbf --- /dev/null +++ b/test/pending/res/bug837/DataFlowAnalysis.scala @@ -0,0 +1,17 @@ +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; + } +} \ No newline at end of file diff --git a/test/pending/res/bug837/DeadCode.scala b/test/pending/res/bug837/DeadCode.scala new file mode 100644 index 0000000000..2978e24d42 --- /dev/null +++ b/test/pending/res/bug837/DeadCode.scala @@ -0,0 +1,6 @@ +package test; +trait DeadcodeAnalysis { + object liveness extends Liveness; + val a = new liveness.LivenessAnalysis(); + var live = a.out("hello"); +} -- cgit v1.2.3