From 943fbb1363345fdaca55e5df95059e8ce8c1344b Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Sat, 2 Oct 2010 23:19:16 +0000
Subject: 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.
---
 test/pending/neg/bug112506A.scala | 19 -------------------
 test/pending/neg/scopes.check     | 30 ------------------------------
 test/pending/neg/scopes.scala     | 20 --------------------
 3 files changed, 69 deletions(-)
 delete mode 100644 test/pending/neg/bug112506A.scala
 delete mode 100644 test/pending/neg/scopes.check
 delete mode 100644 test/pending/neg/scopes.scala

(limited to 'test/pending/neg')

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
-  }
-}
-- 
cgit v1.2.3