diff options
author | Martin Odersky <odersky@gmail.com> | 2008-08-18 14:53:44 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-08-18 14:53:44 +0000 |
commit | aa43994c9648183a81cba2557dc3188ef6ca341e (patch) | |
tree | 4fb2ee654c885db2cc549a7d8ebb1d7c20cdfbdd /test/pending/pos | |
parent | 98ba45e4f615bdb6b04694b3e3099cb1029679ba (diff) | |
download | scala-aa43994c9648183a81cba2557dc3188ef6ca341e.tar.gz scala-aa43994c9648183a81cba2557dc3188ef6ca341e.tar.bz2 scala-aa43994c9648183a81cba2557dc3188ef6ca341e.zip |
corrected several problems with error reporting...
corrected several problems with error reporting: positions checked
twice, warnings masking errors. Refined solution of forward implicits
without5 result type.
Diffstat (limited to 'test/pending/pos')
-rw-r--r-- | test/pending/pos/t0816.scala | 12 | ||||
-rwxr-xr-x | test/pending/pos/t1053.scala | 6 | ||||
-rwxr-xr-x | test/pending/pos/t1131.scala | 4 |
3 files changed, 22 insertions, 0 deletions
diff --git a/test/pending/pos/t0816.scala b/test/pending/pos/t0816.scala new file mode 100644 index 0000000000..44282ea872 --- /dev/null +++ b/test/pending/pos/t0816.scala @@ -0,0 +1,12 @@ +abstract class Atest(val data: String) + +case class Btest(override val data: String, val b: boolean) extends Atest(data) + +case class Ctest(override val data: String) extends Btest(data, true) + +class testCaseClass { + def test(x: Atest) = x match { + case Ctest(data) => Console.println("C") + case Btest(data, b) => Console.println("B") + } +} diff --git a/test/pending/pos/t1053.scala b/test/pending/pos/t1053.scala new file mode 100755 index 0000000000..1d4dfb637e --- /dev/null +++ b/test/pending/pos/t1053.scala @@ -0,0 +1,6 @@ +trait T[A] { trait U { type W = A; val x = 3 } } + +object Test { + val x : ({ type V = T[this.type] })#V = null + val y = new x.U { } +} diff --git a/test/pending/pos/t1131.scala b/test/pending/pos/t1131.scala new file mode 100755 index 0000000000..5ef980348d --- /dev/null +++ b/test/pending/pos/t1131.scala @@ -0,0 +1,4 @@ +trait A { self: Any { def p: Any } => + def f(b: => Unit) {} + f { p } +} |