diff options
Diffstat (limited to 'src/library/scala/Product1.scala')
-rw-r--r-- | src/library/scala/Product1.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/library/scala/Product1.scala b/src/library/scala/Product1.scala index d02aab7b7a..7b771decec 100644 --- a/src/library/scala/Product1.scala +++ b/src/library/scala/Product1.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 Product1 { - def unapply[T1](x:Any): Option[Product1[T1]] = - if(x.isInstanceOf[Product1[T1]]) Some(x.asInstanceOf[Product1[T1]]) else None + def unapply[T1](x: Product1[T1]): Some[Product1[T1]] = + Some(x) } /** Product1 is a cartesian product of 1 components @@ -44,7 +44,7 @@ trait Product1[+T1] extends Product { } /** projection of this product */ - def _1:T1 + def _1: T1 } |