diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-08-13 08:37:19 +0000 |
| commit | 1ceff6729ae30c61ec43e615daf9ef96ea59aae7 (patch) | |
| tree | 260b1717abfee5e844dc5d6d46e55298c32e01f6 /test/files/neg | |
| parent | db202748feb20a7d05473a63e5f2a576fcbbd710 (diff) | |
| download | scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.gz scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.tar.bz2 scala-1ceff6729ae30c61ec43e615daf9ef96ea59aae7.zip | |
fix for 513: use deep ForeachTypeTraverser in d...
fix for 513: use deep ForeachTypeTraverser in doTypeTraversal instead of
shallow one test case+checkfile for #513
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/bug588.check | 2 | ||||
| -rw-r--r-- | test/files/neg/bug588.scala | 2 | ||||
| -rw-r--r-- | test/files/neg/ticket513.check | 4 | ||||
| -rw-r--r-- | test/files/neg/ticket513.scala | 6 |
4 files changed, 12 insertions, 2 deletions
diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check index d795922e0c..5f55c95619 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/bug588.check @@ -1,6 +1,6 @@ bug588.scala:3: error: double definition: method visit:(f: (Int) => String)Boolean and -method visit:(f: (Int) => unit)Boolean at line 2 +method visit:(f: (Int) => Unit)Boolean at line 2 have same type after erasure: (f: Function1)Boolean def visit(f: Int => String): Boolean ^ diff --git a/test/files/neg/bug588.scala b/test/files/neg/bug588.scala index 1713df1330..f30937377e 100644 --- a/test/files/neg/bug588.scala +++ b/test/files/neg/bug588.scala @@ -1,5 +1,5 @@ abstract class Test0 { - def visit(f: Int => unit): Boolean + def visit(f: Int => Unit): Boolean def visit(f: Int => String): Boolean } trait Test { diff --git a/test/files/neg/ticket513.check b/test/files/neg/ticket513.check new file mode 100644 index 0000000000..8994269262 --- /dev/null +++ b/test/files/neg/ticket513.check @@ -0,0 +1,4 @@ +ticket513.scala:6: error: type arguments [NotThatBound] do not conform to trait T's type parameter bounds [A <: Bound] +object Wrong extends Wrap[T[NotThatBound]] + ^ +one error found diff --git a/test/files/neg/ticket513.scala b/test/files/neg/ticket513.scala new file mode 100644 index 0000000000..e8510558b0 --- /dev/null +++ b/test/files/neg/ticket513.scala @@ -0,0 +1,6 @@ +class Bound +class NotThatBound +trait T[A <: Bound] +trait Wrap[X] + +object Wrong extends Wrap[T[NotThatBound]]
\ No newline at end of file |