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/neg | |
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/neg')
-rw-r--r-- | test/pending/neg/bug112506A.scala | 19 | ||||
-rw-r--r-- | test/pending/neg/scopes.check | 30 | ||||
-rw-r--r-- | test/pending/neg/scopes.scala | 20 |
3 files changed, 0 insertions, 69 deletions
diff --git a/test/pending/neg/bug112506A.scala b/test/pending/neg/bug112506A.scala deleted file mode 100644 index 5dffb5ebe6..0000000000 --- a/test/pending/neg/bug112506A.scala +++ /dev/null @@ -1,19 +0,0 @@ -package test; -import scala.collection.immutable.ListSet -import scala.collection.mutable._; -trait TypeManagerXXX { - trait TypedNode; - type Node; -} -trait ScalaTyperXXX extends TypeManagerXXX { - private var typed : Node = null; - private val dependMap = new HashMap[String,ListSet[TypedNode]]; - override def lookupEntry(name: String): String = { - val set = dependMap.get(name) match { - case Some(set) => set; - case None => new ListSet[Node] - } - dependMap.update(name, set + typed); - throw new Error; - } -} diff --git a/test/pending/neg/scopes.check b/test/pending/neg/scopes.check deleted file mode 100644 index bb8e15058b..0000000000 --- a/test/pending/neg/scopes.check +++ /dev/null @@ -1,30 +0,0 @@ -scopes.scala:1: error: x is already defined as value x -case class test0(x: int, x: float) - ^ -scopes.scala:5: error: t is already defined as type t - type t = float - ^ -scopes.scala:7: error: x is already defined as value x - val x: float = .0f; - ^ -scopes.scala:10: error: y is already defined as value y - val y: float = .0f - ^ -scopes.scala:13: error: x is already defined as value x - def f1(x: int, x: float) = x - ^ -scopes.scala:14: error: y is already defined as value y - def f2(x: int)(y: int, y: float) = x + y - ^ -scopes.scala:15: error: x is already defined as value x - val closure = (x: int, x: float) => x - ^ -scopes.scala:17: error: x is already defined as value x - case x::x => x - ^ -scopes.scala:1: error: type mismatch; - found : float - required: int -case class test0(x: int, x: float) - ^ -9 errors found diff --git a/test/pending/neg/scopes.scala b/test/pending/neg/scopes.scala deleted file mode 100644 index fd31ff5f72..0000000000 --- a/test/pending/neg/scopes.scala +++ /dev/null @@ -1,20 +0,0 @@ -case class test0(x: Int, x: Float) - -object test1 { - type t = Int - type t = Float - val x: Int = 0 - val x: Float = .0f; - { - val y: Int = 0 - val y: Float = .0f - () - } - def f1(x: Int, x: Float) = x - def f2(x: Int)(y: Int, y: Float) = x + y - val closure = (x: Int, x: Float) => x - List() match { - case x::x => x - case Nil => Nil - } -} |