diff options
| author | Paul Phillips <paulp@improving.org> | 2012-12-12 20:18:50 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-12-12 20:18:50 -0800 |
| commit | ef8ff600041bc1627ebe972259d109cf421c0672 (patch) | |
| tree | 9f109e09d3c2a79d9a7299029fa8fe8a0b06af21 /test/files/neg | |
| parent | df78f76682145c805a487e2b939e0844a6623ece (diff) | |
| parent | dfa4e23bf8af721a4361567aef9aed672e39d4f8 (diff) | |
| download | scala-ef8ff600041bc1627ebe972259d109cf421c0672.tar.gz scala-ef8ff600041bc1627ebe972259d109cf421c0672.tar.bz2 scala-ef8ff600041bc1627ebe972259d109cf421c0672.zip | |
Merge pull request #1742 from scalamacros/ticket/4044
prevents spurious kind bound errors
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/t4044.check | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/test/files/neg/t4044.check b/test/files/neg/t4044.check index 41a04f69b9..0e1ea4f51d 100644 --- a/test/files/neg/t4044.check +++ b/test/files/neg/t4044.check @@ -1,11 +1,6 @@ t4044.scala:9: error: AnyRef takes no type parameters, expected: one M[AnyRef] // error, (AnyRef :: *) not kind-conformant to (N :: * -> * -> *) ^ -t4044.scala:9: error: kinds of the type arguments (<error>) do not conform to the expected kinds of the type parameters (type N). -<error>'s type parameters do not match type N's expected parameters: -<none> has no type parameters, but type N has one - M[AnyRef] // error, (AnyRef :: *) not kind-conformant to (N :: * -> * -> *) - ^ t4044.scala:11: error: kinds of the type arguments (Test.A) do not conform to the expected kinds of the type parameters (type N). Test.A's type parameters do not match type N's expected parameters: type _ has no type parameters, but type O has one @@ -16,4 +11,4 @@ Test.C's type parameters do not match type N's expected parameters: type _ has one type parameter, but type _ has none M[C] // error, (C :: (* -> * -> * -> *) not kind-conformant to (N :: * -> * -> *) ^ -four errors found +three errors found |