diff options
author | Paul Phillips <paulp@improving.org> | 2012-08-11 08:11:17 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-08-16 14:43:03 -0700 |
commit | 5c6d6f4095555e9f791d9d56fd3be20d48dd3b8a (patch) | |
tree | 8e923b89272cd15a4d6807ebb356ec1bcc5097dc /project | |
parent | 5741d4861802ea449b880b87006daa5fc8bc907a (diff) | |
download | scala-5c6d6f4095555e9f791d9d56fd3be20d48dd3b8a.tar.gz scala-5c6d6f4095555e9f791d9d56fd3be20d48dd3b8a.tar.bz2 scala-5c6d6f4095555e9f791d9d56fd3be20d48dd3b8a.zip |
Optimization in SubstMap.
Don't create a new type with the same symbol. This
modification avoids the creation of 30K types and a
similar number of symbols in a compile of trunk.
Also cleaned up / deprecated a couple other type mappers.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions