diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-25 09:20:26 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-25 09:20:26 +0000 |
commit | b059cbd155aec675b40a2a54f18bb127f17fcf37 (patch) | |
tree | 9d02d0067ac0b40518d24126e3cbd3eb68ea69cb /test/files/pos | |
parent | 6f4a561df2973cd48241ff4389e3ddf137c141f5 (diff) | |
download | scala-b059cbd155aec675b40a2a54f18bb127f17fcf37.tar.gz scala-b059cbd155aec675b40a2a54f18bb127f17fcf37.tar.bz2 scala-b059cbd155aec675b40a2a54f18bb127f17fcf37.zip |
closed #2624: instantiate type params after eta...
closed #2624: instantiate type params after eta expansion of polymorphic
method does not blow the stack on pos/t0674 (previous private fix did
typed(tree); instantiate(tree) instead of instantiate(typed(tree)))
fixed check file for neg/bug608 -- got better error message
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t2624.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/pos/t2624.scala b/test/files/pos/t2624.scala new file mode 100644 index 0000000000..76f0e30369 --- /dev/null +++ b/test/files/pos/t2624.scala @@ -0,0 +1,4 @@ +object Test { + List(1).map(identity(_)) + List(1).map(identity) // this didn't typecheck before the fix +} |