toString for refinedType manifest

update run/existentials3.check accordingly

Author: Adriaan Moors

src/library/scala/reflect/Manifest.scala

@@ -271,6 +271,7 @@ object Manifest {
     new RefinedManifest[T] {
       def erasure = parent.erasure
       def fields = fieldNames zip fieldTypes
+      override def toString = parent + (fieldNames zip fieldTypes).map{case(n, t) => "val "+ n +" : "+ t}.mkString("{","; ", "}")
     }
 
   /** A generic manifest factory from a reflect.Type. Except where

test/files/run/existentials3.check

@@ -5,8 +5,8 @@ Object with Test$ToS with scala.ScalaObject
 Object with Test$ToS with scala.ScalaObject
 scala.Function0[Object with Test$ToS with scala.ScalaObject]
 scala.Function0[Object with Test$ToS with scala.ScalaObject]
-_ <: scala.reflect.Manifest$$anon$15@45d6a56e
-_ <: scala.reflect.Manifest$$anon$15@45d6a56e
+_ <: Object with _ <: Object with Object{} with Test$ToS with scala.ScalaObject{}
+_ <: Object with _ <: Object{} with _ <: Object{} with Test$ToS with scala.ScalaObject{}
 scala.collection.immutable.List[Object with scala.collection.Seq[Int] with scala.ScalaObject]
 scala.collection.immutable.List[Object with scala.collection.Seq[_ <: Int] with scala.ScalaObject]
 _ <: scala.runtime.AbstractFunction0[_ <: Object with Test$ToS with scala.ScalaObject with scala.Product with scala.Serializable] with scala.ScalaObject with scala.Serializable with java.lang.Object
@@ -16,7 +16,7 @@ Object with Test$ToS with scala.ScalaObject
 Object with Test$ToS with scala.ScalaObject
 scala.Function0[Object with Test$ToS with scala.ScalaObject]
 scala.Function0[Object with Test$ToS with scala.ScalaObject]
-_ <: scala.reflect.Manifest$$anon$15@45d6a56e
-_ <: scala.reflect.Manifest$$anon$15@45d6a56e
+_ <: Object with _ <: Object with Object{} with Test$ToS with scala.ScalaObject{}
+_ <: Object with _ <: Object{} with _ <: Object{} with Test$ToS with scala.ScalaObject{}
 scala.collection.immutable.List[Object with scala.collection.Seq[Int] with scala.ScalaObject]
 scala.collection.immutable.List[Object with scala.collection.Seq[_ <: Int] with scala.ScalaObject]