diff options
author | Paul Phillips <paulp@improving.org> | 2011-07-03 20:00:25 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-07-03 20:00:25 +0000 |
commit | 552d7aa113dfda5c33c909b4a7874799a7ff1a3e (patch) | |
tree | 85872eecb1c7a83c95bcbef4b92bed1e30e8be88 /test/files/run | |
parent | d858fc14ad79b9c8bbe066aec70ded8fa62b0275 (diff) | |
download | scala-552d7aa113dfda5c33c909b4a7874799a7ff1a3e.tar.gz scala-552d7aa113dfda5c33c909b4a7874799a7ff1a3e.tar.bz2 scala-552d7aa113dfda5c33c909b4a7874799a7ff1a3e.zip |
Modified return type inference not to allow T* ...
Modified return type inference not to allow T* to leak from varargs
methods. Since I don't know what is supposed to be done about eta
expansion of these methods, I left the behavior as it was (except the
return type) and a boolean val in Types to change it.
def id[T](xs: T*) = xs
etaExpandKeepsStar = true // (id[Int] _) is Int* => Seq[Int]
etaExpandKeepsStar = false // (id[Int] _) is Seq[Int] => Seq[Int]
References #4176, leaving open pending resolution of eta expansion.
Review by odersky.
Diffstat (limited to 'test/files/run')
0 files changed, 0 insertions, 0 deletions