From 34f73ded3519a1df7d278685f3f33facd00f1c58 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 13 Aug 2014 11:31:39 +0200
Subject: Fix and enable RefChecks

RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
---
 tests/pos/hk.scala | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tests/pos/hk.scala')

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
+}
-- 
cgit v1.2.3