diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-09-16 23:47:59 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-09-16 23:47:59 +0000 |
commit | ec93f67c5c9d5b2c8ab5b08255686ddca171eb1d (patch) | |
tree | 8cdea1d543e189d68966a8eb878239566efa57db /test/files/neg | |
parent | 7b4176c5be11085d0fdf2f1b0624e1829a1638ea (diff) | |
download | scala-ec93f67c5c9d5b2c8ab5b08255686ddca171eb1d.tar.gz scala-ec93f67c5c9d5b2c8ab5b08255686ddca171eb1d.tar.bz2 scala-ec93f67c5c9d5b2c8ab5b08255686ddca171eb1d.zip |
svnmerge seems to have missed the new test file...
svnmerge seems to have missed the new test files... they were in my
working copy, but not added
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/depmet_1.check | 10 | ||||
-rw-r--r-- | test/files/neg/depmet_1.flags | 1 | ||||
-rw-r--r-- | test/files/neg/depmet_1.scala | 5 |
3 files changed, 16 insertions, 0 deletions
diff --git a/test/files/neg/depmet_1.check b/test/files/neg/depmet_1.check new file mode 100644 index 0000000000..7a4f845fd5 --- /dev/null +++ b/test/files/neg/depmet_1.check @@ -0,0 +1,10 @@ +depmet_1.scala:2: error: illegal dependent method type: parameter appears in the type of another parameter in the same section or an earlier one + def precise0(y: x.type)(x: String): Unit = {} + ^ +depmet_1.scala:3: error: illegal dependent method type: parameter appears in the type of another parameter in the same section or an earlier one + def precise1(x: String, y: x.type): Unit = {} + ^ +depmet_1.scala:4: error: not found: value y + def precise2[T <: y.type](y: String): Unit = {} + ^ +three errors found diff --git a/test/files/neg/depmet_1.flags b/test/files/neg/depmet_1.flags new file mode 100644 index 0000000000..1c26b24745 --- /dev/null +++ b/test/files/neg/depmet_1.flags @@ -0,0 +1 @@ +-Ydependent-method-types
\ No newline at end of file diff --git a/test/files/neg/depmet_1.scala b/test/files/neg/depmet_1.scala new file mode 100644 index 0000000000..fc672e1ed8 --- /dev/null +++ b/test/files/neg/depmet_1.scala @@ -0,0 +1,5 @@ +object Test { + def precise0(y: x.type)(x: String): Unit = {} + def precise1(x: String, y: x.type): Unit = {} + def precise2[T <: y.type](y: String): Unit = {} +}
\ No newline at end of file |