diff options
| author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-10-02 09:03:00 -0700 |
|---|---|---|
| committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-10-02 09:03:00 -0700 |
| commit | 5dae38df7d8929a4666c9263cc78579bed972ac2 (patch) | |
| tree | 4abc99a579fe9977950ef3ed8d7bc84d3cb971a3 /test/files/neg/patmat-type-check.check | |
| parent | e93ca3231798241baf0f48ad361c0aa9668ee871 (diff) | |
| parent | 81226b82d8c8b138eabb6956cab82410a17d812c (diff) | |
| download | scala-5dae38df7d8929a4666c9263cc78579bed972ac2.tar.gz scala-5dae38df7d8929a4666c9263cc78579bed972ac2.tar.bz2 scala-5dae38df7d8929a4666c9263cc78579bed972ac2.zip | |
Merge pull request #1437 from paulp/typevar-suspension
Typevar suspension
Diffstat (limited to 'test/files/neg/patmat-type-check.check')
| -rw-r--r-- | test/files/neg/patmat-type-check.check | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/test/files/neg/patmat-type-check.check b/test/files/neg/patmat-type-check.check index 721217c314..fedac3b746 100644 --- a/test/files/neg/patmat-type-check.check +++ b/test/files/neg/patmat-type-check.check @@ -1,12 +1,27 @@ patmat-type-check.scala:11: warning: fruitless type test: a value of type Test.Bop4[T] cannot also be a Seq[A] def s3[T](x: Bop4[T]) = x match { case Seq('b', 'o', 'b') => true } ^ +patmat-type-check.scala:11: error: pattern type is incompatible with expected type; + found : Seq[A] + required: Test.Bop4[T] + def s3[T](x: Bop4[T]) = x match { case Seq('b', 'o', 'b') => true } + ^ patmat-type-check.scala:15: warning: fruitless type test: a value of type Test.Bop5[_$1,T1,T2] cannot also be a Seq[A] def s4[T1, T2](x: Bop5[_, T1, T2]) = x match { case Seq('b', 'o', 'b') => true } ^ +patmat-type-check.scala:15: error: pattern type is incompatible with expected type; + found : Seq[A] + required: Test.Bop5[_$1,T1,T2] where type _$1 + def s4[T1, T2](x: Bop5[_, T1, T2]) = x match { case Seq('b', 'o', 'b') => true } + ^ patmat-type-check.scala:19: warning: fruitless type test: a value of type Test.Bop3[T] cannot also be a Seq[A] def f4[T](x: Bop3[T]) = x match { case Seq('b', 'o', 'b') => true } ^ +patmat-type-check.scala:19: error: pattern type is incompatible with expected type; + found : Seq[A] + required: Test.Bop3[T] + def f4[T](x: Bop3[T]) = x match { case Seq('b', 'o', 'b') => true } + ^ patmat-type-check.scala:22: error: scrutinee is incompatible with pattern type; found : Seq[A] required: String @@ -28,4 +43,4 @@ patmat-type-check.scala:30: error: scrutinee is incompatible with pattern type; def f4[T](x: Bop3[Char]) = x match { case Seq('b', 'o', 'b') => true } // fail ^ three warnings found -four errors found +7 errors found |