aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-06-18 18:20:14 +0200
committerMartin Odersky <odersky@gmail.com>2014-06-18 18:21:07 +0200
commit7f721438b5bccc8ca9dd68cef273c8cac8199e1a (patch)
treea619fb770fee578354c7fca1f1c30c68f0d542d0 /test
parent388d9a889c6929699e879a307dc80145b906390a (diff)
downloaddotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.tar.gz
dotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.tar.bz2
dotty-7f721438b5bccc8ca9dd68cef273c8cac8199e1a.zip
Handling higher-kinded types with lambdas
Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits.
Diffstat (limited to 'test')
-rw-r--r--test/dotc/tests.scala3
1 files changed, 1 insertions, 2 deletions
diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index 64d520500..d25288548 100644
--- a/test/dotc/tests.scala
+++ b/test/dotc/tests.scala
@@ -76,7 +76,6 @@ class tests extends CompilerTest {
defaultOptions = noCheckOptions)
// -Ycheck fails because there are structural types involving higher-kinded types.
// these are illegal, but are tested only later.
- @Test def neg_t0654_polyalias = compileFile(negDir, "t0654", xerrors = 2)
@Test def neg_t1192_legalPrefix = compileFile(negDir, "t1192", xerrors = 1)
@Test def neg_tailcall_t1672b = compileFile(negDir, "tailcall/t1672b", xerrors = 6)
@Test def neg_tailcall_t3275 = compileFile(negDir, "tailcall/t3275", xerrors = 1)
@@ -85,7 +84,7 @@ class tests extends CompilerTest {
@Test def neg_tailcall2 = compileFile(negDir, "tailcall/tailrec-2", xerrors = 2)
@Test def neg_tailcall3 = compileFile(negDir, "tailcall/tailrec-3", xerrors = 2)
@Test def neg_t1843 = compileFile(negDir, "t1843", xerrors = 1)
- @Test def neg_t2994 = compileFile(negDir, "t2994", xerrors = 13)
+ @Test def neg_t2994 = compileFile(negDir, "t2994", xerrors = 2)
@Test def dotc = compileDir(dotcDir + "tools/dotc", twice)
@Test def dotc_ast = compileDir(dotcDir + "tools/dotc/ast", twice)