* TupleN extends ProductN, again (genprod updated)

* better comments and parameter names in scala.xml.MetaData typechecker
* now handles special cases (n=0, n=1) for unapply correctly

* * even if one returns a Option[Product1[T]]
* typechecker now handles unapply return types correctly
* * e.g. when returning Option[{A,B}] instead of Option[Product2[A,B]]

1 files changed, 19 insertions, 19 deletions

diff --git a/src/library/scala/Product8.scala b/src/library/scala/Product8.scala
index dc82849a53..79c73fd892 100644
--- a/src/library/scala/Product8.scala
+++ b/src/library/scala/Product8.scala
@@ -7,17 +7,17 @@
 **                          |/                                          **
 \*                                                                      */
 
-// $Id: genprod.scala 9494 2006-12-11 11:35:38Z odersky $
+// $Id$
 
-// generated by genprod on Tue Dec 12 11:32:13 CET 2006
+// generated by genprod on Tue Jan 02 15:19:32 CET 2007
 
 package scala
 
 import Predef._
 
 object Product8 {
-  def unapply[T1, T2, T3, T4, T5, T6, T7, T8](x:Any): Option[Product8[T1, T2, T3, T4, T5, T6, T7, T8]] =
-    if(x.isInstanceOf[Product8[T1, T2, T3, T4, T5, T6, T7, T8]]) Some(x.asInstanceOf[Product8[T1, T2, T3, T4, T5, T6, T7, T8]]) else None
+  def unapply[T1, T2, T3, T4, T5, T6, T7, T8](x: Product8[T1, T2, T3, T4, T5, T6, T7, T8]): Some[Product8[T1, T2, T3, T4, T5, T6, T7, T8]] =
+    Some(x)
 }
 
 /** Product8 is a cartesian product of 8 components
@@ -51,28 +51,28 @@ trait Product8[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8] extends Product {
   }
 
   /** projection of this product */
-  def _1:T1
+  def _1: T1
 
-  /** projection of this product */
-  def _2:T2
+/** projection of this product */
+  def _2: T2
 
-  /** projection of this product */
-  def _3:T3
+/** projection of this product */
+  def _3: T3
 
-  /** projection of this product */
-  def _4:T4
+/** projection of this product */
+  def _4: T4
 
-  /** projection of this product */
-  def _5:T5
+/** projection of this product */
+  def _5: T5
 
-  /** projection of this product */
-  def _6:T6
+/** projection of this product */
+  def _6: T6
 
-  /** projection of this product */
-  def _7:T7
+/** projection of this product */
+  def _7: T7
 
-  /** projection of this product */
-  def _8:T8
+/** projection of this product */
+  def _8: T8
 
 
 }