diff options
author | Paul Phillips <paulp@improving.org> | 2011-06-07 18:06:34 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-06-07 18:06:34 +0000 |
commit | 5fa1978fac07e62570409c649faf3021b2709a18 (patch) | |
tree | 8b19cfb63beae7651d5edfa562d313aa489c3860 /docs | |
parent | fec42c1f3a6753f962a03b22c4728f8f791dbb66 (diff) | |
download | scala-5fa1978fac07e62570409c649faf3021b2709a18.tar.gz scala-5fa1978fac07e62570409c649faf3021b2709a18.tar.bz2 scala-5fa1978fac07e62570409c649faf3021b2709a18.zip |
Modified erasure not to generate instance tests...
Modified erasure not to generate instance tests for statically known
types. It appears the production of types like "Foo with Bar" in the
pattern matcher (where the scrutinee is known to be Foo) has been a
major contributor of suboptimal pattern matches. I will also fix it in
the matcher, but it makes sense to catch it in erasure as both a check
on the matcher and because they may come from elsewhere too. Review by
odersky.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions