diff options
author | Burak Emir <emir@epfl.ch> | 2007-01-02 16:51:29 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-01-02 16:51:29 +0000 |
commit | bfea9f20d231bc6b7fb75edbce277d883265b89d (patch) | |
tree | 97d1ad6e319e2dbc96edde4c906ae9668f82c7cb /src/library/scala/Product20.scala | |
parent | 9e3b5c094b4e8b96d418d7498deab78dcb8bf150 (diff) | |
download | scala-bfea9f20d231bc6b7fb75edbce277d883265b89d.tar.gz scala-bfea9f20d231bc6b7fb75edbce277d883265b89d.tar.bz2 scala-bfea9f20d231bc6b7fb75edbce277d883265b89d.zip |
* 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]]
Diffstat (limited to 'src/library/scala/Product20.scala')
-rw-r--r-- | src/library/scala/Product20.scala | 86 |
1 files changed, 43 insertions, 43 deletions
diff --git a/src/library/scala/Product20.scala b/src/library/scala/Product20.scala index 725e541e1d..8bcd5fa75e 100644 --- a/src/library/scala/Product20.scala +++ b/src/library/scala/Product20.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 Product20 { - def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](x:Any): Option[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]] = - if(x.isInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) Some(x.asInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) else None + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](x: Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]): Some[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]] = + Some(x) } /** Product20 is a cartesian product of 20 components @@ -63,64 +63,64 @@ trait Product20[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, + } /** 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 - /** projection of this product */ - def _9:T9 +/** projection of this product */ + def _9: T9 - /** projection of this product */ - def _10:T10 +/** projection of this product */ + def _10: T10 - /** projection of this product */ - def _11:T11 +/** projection of this product */ + def _11: T11 - /** projection of this product */ - def _12:T12 +/** projection of this product */ + def _12: T12 - /** projection of this product */ - def _13:T13 +/** projection of this product */ + def _13: T13 - /** projection of this product */ - def _14:T14 +/** projection of this product */ + def _14: T14 - /** projection of this product */ - def _15:T15 +/** projection of this product */ + def _15: T15 - /** projection of this product */ - def _16:T16 +/** projection of this product */ + def _16: T16 - /** projection of this product */ - def _17:T17 +/** projection of this product */ + def _17: T17 - /** projection of this product */ - def _18:T18 +/** projection of this product */ + def _18: T18 - /** projection of this product */ - def _19:T19 +/** projection of this product */ + def _19: T19 - /** projection of this product */ - def _20:T20 +/** projection of this product */ + def _20: T20 } |