~ use case class instead of class
authorEric Prud'hommeaux <eric@w3.org>
Wed, 03 Nov 2010 20:32:29 -0400
changeset 267 7ae8948e6dd9
parent 266 7cb2057195e7
child 268 691822da279e
child 276 ee19c1656227
~ use case class instead of class
sql/src/main/scala/AddOrderedSet.scala
--- a/sql/src/main/scala/AddOrderedSet.scala	Wed Nov 03 20:31:34 2010 -0400
+++ b/sql/src/main/scala/AddOrderedSet.scala	Wed Nov 03 20:32:29 2010 -0400
@@ -11,7 +11,7 @@
 
 // }
 
-class AddOrderedSet[A](list:List[A]) extends Set[A] {
+case class AddOrderedSet[A](list:List[A]) extends Set[A] {
 
   def contains(elem: A): Boolean = list.contains(elem)
   def iterator: Iterator[A] = list.iterator
@@ -22,6 +22,6 @@
 
 object AddOrderedSet {
   def apply[A]():AddOrderedSet[A] = AddOrderedSet(List[A]())
-  def apply[A](list:List[A]):AddOrderedSet[A] = new AddOrderedSet(list)
+//  def apply[A](list:List[A]):AddOrderedSet[A] = new AddOrderedSet(list)
   def apply[A](args:A*):AddOrderedSet[A] = AddOrderedSet(args.toList)
 }