diff options
Diffstat (limited to 'tests/untried/neg/wellkinded_wrongarity2.check')
-rw-r--r-- | tests/untried/neg/wellkinded_wrongarity2.check | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/untried/neg/wellkinded_wrongarity2.check b/tests/untried/neg/wellkinded_wrongarity2.check new file mode 100644 index 000000000..922f73381 --- /dev/null +++ b/tests/untried/neg/wellkinded_wrongarity2.check @@ -0,0 +1,13 @@ +wellkinded_wrongarity2.scala:5: error: String takes no type parameters, expected: one +trait ms1 extends Monad[String] // wrong + ^ +wellkinded_wrongarity2.scala:6: error: t takes no type parameters, expected: one +trait ms2[t] extends Monad[t] // wrong + ^ +wellkinded_wrongarity2.scala:7: error: m[t] takes no type parameters, expected: one +trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on bug + ^ +wellkinded_wrongarity2.scala:12: error: type m takes type parameters +trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected + ^ +four errors found |