diff options
| author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-22 14:37:50 +0000 |
|---|---|---|
| committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-22 14:37:50 +0000 |
| commit | eb6911e3aa5cdc733ebc2045934a8a2072060fc4 (patch) | |
| tree | 2e07b97f9e768691e0494b66ec3fe450823feb84 /src/library/scala/Function17.scala | |
| parent | 39f2357f9c861be97adb468ab6b4a323f6265afa (diff) | |
| download | scala-eb6911e3aa5cdc733ebc2045934a8a2072060fc4.tar.gz scala-eb6911e3aa5cdc733ebc2045934a8a2072060fc4.tar.bz2 scala-eb6911e3aa5cdc733ebc2045934a8a2072060fc4.zip | |
Corrected uncurry to be called curry.
Generalized curry to FunctionN for N >= 2
Diffstat (limited to 'src/library/scala/Function17.scala')
| -rw-r--r-- | src/library/scala/Function17.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/library/scala/Function17.scala b/src/library/scala/Function17.scala index f00dff4767..e037834cb4 100644 --- a/src/library/scala/Function17.scala +++ b/src/library/scala/Function17.scala @@ -9,7 +9,7 @@ // $Id$ -// generated by genprod on Wed Apr 16 16:26:09 CEST 2008 +// generated by genprod on Tue Apr 22 16:34:19 CEST 2008 (with extra methods) package scala @@ -23,4 +23,8 @@ trait Function17[-T1, -T2, -T3, -T4, -T5, -T6, -T7, -T8, -T9, -T10, -T11, -T12, def apply(v1:T1, v2:T2, v3:T3, v4:T4, v5:T5, v6:T6, v7:T7, v8:T8, v9:T9, v10:T10, v11:T11, v12:T12, v13:T13, v14:T14, v15:T15, v16:T16, v17:T17): R override def toString() = "<function>" + /** f(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17) == (f.curry)(x1)(x2)(x3)(x4)(x5)(x6)(x7)(x8)(x9)(x10)(x11)(x12)(x13)(x14)(x15)(x16)(x17) + */ + def curry: T1 => T2 => T3 => T4 => T5 => T6 => T7 => T8 => T9 => T10 => T11 => T12 => T13 => T14 => T15 => T16 => T17 => R = { (x1: T1) => (x2: T2) => (x3: T3) => (x4: T4) => (x5: T5) => (x6: T6) => (x7: T7) => (x8: T8) => (x9: T9) => (x10: T10) => (x11: T11) => (x12: T12) => (x13: T13) => (x14: T14) => (x15: T15) => (x16: T16) => (x17: T17) => apply(x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17) } + } |