Fix and enable RefChecks

RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.

1 files changed, 13 insertions, 13 deletions

diff --git a/tests/pos/inferred.scala b/tests/pos/inferred.scala
index 525848541..87bbd9473 100644
--- a/tests/pos/inferred.scala
+++ b/tests/pos/inferred.scala
@@ -1,13 +1,13 @@
-class LIST[+T] {
-  
+abstract class LIST[+T] {
+
   def isEmpty: Boolean
   def head: T
   def tail: LIST[T]
-  
+
   def prepend [U >: T] (x: U): LIST[U] = new CONS(x, this)
-  
+
   def map[U](f: T => U): LIST[U] = if (isEmpty) NIL else tail.map(f).prepend(f(head))
-  
+
 }
 
 object NIL extends LIST[Nothing] {
@@ -37,22 +37,22 @@ object Inferred {
   val nn = bar(NIL)
 
   val ints: LIST[Int] = NIL prepend 1
-  
+
   val ints1 = NIL prepend 1 prepend 2
 
   val a = if (1 == 0) NIL else ints
-  
+
   val n2 = scala.collection.immutable.Nil
-  
+
   val ss2: scala.collection.immutable.List[String] = "abc" :: n2
-  
+
   val ss3 = "abc" :: n2
-  
+
   def cl = ((x: Int) => x + 1)
-  
+
   val ints2 = ints map (_ + 1)
-  
+
   val ints3 = new CONS[Int](1, NIL)
-  
+
   val ints4 = new CONS(1, NIL)
 }
\ No newline at end of file