diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-13 11:31:39 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-13 12:05:05 +0200 |
commit | 34f73ded3519a1df7d278685f3f33facd00f1c58 (patch) | |
tree | 3cf71a8baea0de46c9ca126a1ea2dbd6ea55c731 /tests/pos/hk.scala | |
parent | 3558e07b8f3a604bfd67c721cdec3eb9db29e7eb (diff) | |
download | dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.tar.gz dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.tar.bz2 dotty-34f73ded3519a1df7d278685f3f33facd00f1c58.zip |
Fix and enable RefChecks
RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
Diffstat (limited to 'tests/pos/hk.scala')
-rw-r--r-- | tests/pos/hk.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/pos/hk.scala b/tests/pos/hk.scala index 461c6e386..9fdaf94f6 100644 --- a/tests/pos/hk.scala +++ b/tests/pos/hk.scala @@ -2,7 +2,7 @@ import language.higherKinds object hk0 { - class Base { + abstract class Base { type Rep[T] val strRep: Rep[String] } @@ -13,7 +13,7 @@ object hk0 { val sr: Rep[String] = "" } - class Functor[F[_]] { + abstract class Functor[F[_]] { def map[A, B](f: A => B): F[A] => F[B] } val ml: Functor[List] = ??? @@ -53,4 +53,4 @@ object higherKinded { tree1: Tree[String] } -}
\ No newline at end of file +} |