blob: aac617bd877024a8764179c074cd99fec0c680e7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
// test well-kindedness checks
// expecting types of kind *->*
class Monad[m[x]]
trait ms1 extends Monad[String] // wrong
trait ms2[t] extends Monad[t] // wrong
trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on bug
// expecting types of kind *
trait Foo[x]
trait Bar1[m[_]] extends Foo[m[Int]] // check that m[Int] is properly recognized as kind-*
trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected
|