diff options
author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-25 06:42:01 +0000 |
---|---|---|
committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-25 06:42:01 +0000 |
commit | 54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8 (patch) | |
tree | c2b2b7149101962c24acf634b15fa903a1cfbad6 /test/pending/res/bug837 | |
parent | fb4eff863874a884a017d4b98120bf337ffad8f5 (diff) | |
download | scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.tar.gz scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.tar.bz2 scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.zip |
Residents tests for pending bugs that fit into ...
Residents tests for pending bugs that fit into testing infrastructure.
Diffstat (limited to 'test/pending/res/bug837')
-rw-r--r-- | test/pending/res/bug837/DataFlowAnalysis.scala | 17 | ||||
-rw-r--r-- | test/pending/res/bug837/DeadCode.scala | 6 |
2 files changed, 23 insertions, 0 deletions
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"); +} |