From 943fbb1363345fdaca55e5df95059e8ce8c1344b Mon Sep 17 00:00:00 2001 From: Paul Phillips 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/res/bug830/Bad.scala | 11 ----------- test/pending/res/bug830/Good.scala | 11 ----------- 2 files changed, 22 deletions(-) delete mode 100644 test/pending/res/bug830/Bad.scala delete mode 100644 test/pending/res/bug830/Good.scala (limited to 'test/pending/res/bug830') diff --git a/test/pending/res/bug830/Bad.scala b/test/pending/res/bug830/Bad.scala deleted file mode 100644 index 17632290ff..0000000000 --- a/test/pending/res/bug830/Bad.scala +++ /dev/null @@ -1,11 +0,0 @@ -package test; -trait HasNodeXXX { - type Node <: NodeImpl; - trait NodeImpl; -} -trait ScalaFlowScannerZZZ extends HasNodeXXX { - type Node <: NodeImpl; - trait NodeImplA extends super.NodeImpl; - trait NodeImplB extends NodeImpl; - trait NodeImpl extends NodeImplA with NodeImplB; -} diff --git a/test/pending/res/bug830/Good.scala b/test/pending/res/bug830/Good.scala deleted file mode 100644 index 84789bfc47..0000000000 --- a/test/pending/res/bug830/Good.scala +++ /dev/null @@ -1,11 +0,0 @@ -package test; -trait HasNodeXXX { - type Node <: NodeImpl; - trait NodeImpl; -} -trait ScalaFlowScannerZZZ extends HasNodeXXX { - type Node <: NodeImpl; - trait NodeImplA extends super.NodeImpl; - trait NodeImplB extends super.NodeImpl; - trait NodeImpl extends NodeImplA with NodeImplB; -} -- cgit v1.2.3