diff options
| author | Burak Emir <emir@epfl.ch> | 2006-11-28 16:27:16 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2006-11-28 16:27:16 +0000 |
| commit | 6c468e8927ab8277207b6d21ebe13171509213a8 (patch) | |
| tree | 8ecfa442d51147595831a1a5518c256b2a355a63 /src/library/scala/Product9.scala | |
| parent | c5e9360725ed37e444b3836185be895bc69e5687 (diff) | |
| download | scala-6c468e8927ab8277207b6d21ebe13171509213a8.tar.gz scala-6c468e8927ab8277207b6d21ebe13171509213a8.tar.bz2 scala-6c468e8927ab8277207b6d21ebe13171509213a8.zip | |
more fun with positions, and updated doc
Diffstat (limited to 'src/library/scala/Product9.scala')
| -rw-r--r-- | src/library/scala/Product9.scala | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/library/scala/Product9.scala b/src/library/scala/Product9.scala index a07157ba6b..14538e3c42 100644 --- a/src/library/scala/Product9.scala +++ b/src/library/scala/Product9.scala @@ -7,11 +7,16 @@ ** |/ ** \* */ -// generated on Tue Nov 28 14:03:53 CET 2006 +// generated on Tue Nov 28 17:25:56 CET 2006 package scala import Predef._ +object Product9 { + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9](x:Any): Option[Product9[T1, T2, T3, T4, T5, T6, T7, T8, T9]] = + if(x.isInstanceOf[Product9[T1, T2, T3, T4, T5, T6, T7, T8, T9]]) Some(x.asInstanceOf[Product9[T1, T2, T3, T4, T5, T6, T7, T8, T9]]) else None +} + /** Product9 is a cartesian product of 9 components */ trait Product9 [+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9] extends Product { |