diff options
author | Paul Phillips <paulp@improving.org> | 2010-10-02 23:19:16 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-10-02 23:19:16 +0000 |
commit | 943fbb1363345fdaca55e5df95059e8ce8c1344b (patch) | |
tree | b12582afc26fe0e3d0dc4a502eef5e6a2d41bfb3 /test/pending/res/bug837/DataFlowAnalysis.scala | |
parent | 06aa1c9eff49d5190e82a72a876d7b3bd706d6d4 (diff) | |
download | scala-943fbb1363345fdaca55e5df95059e8ce8c1344b.tar.gz scala-943fbb1363345fdaca55e5df95059e8ce8c1344b.tar.bz2 scala-943fbb1363345fdaca55e5df95059e8ce8c1344b.zip |
The next batch of tests put up a little more st...
The next batch of tests put up a little more struggle, but only a
little. See test/pending/pos/unappgadteval.scala (the changes for which
were in the previous commit) for an example of a test which might be on
to something. Any idea what it would take to get it working?
// the key lines
case i @ Suc() => { (y: Int) => y + 1 } // a = Int => Int
case f @ Lam[b,c](x, e) => { (y: b) => eval(e, env.extend(x, y)) } // a = b=>c
No review.
Diffstat (limited to 'test/pending/res/bug837/DataFlowAnalysis.scala')
-rw-r--r-- | test/pending/res/bug837/DataFlowAnalysis.scala | 17 |
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; - } -} |