diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2013-02-08 00:05:55 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2013-02-08 09:33:16 +0100 |
| commit | 5258b63740c9fb1be3c531e1dc1399fb0dc55569 (patch) | |
| tree | 81c7aa0096e14512805187b319c07f6d5866d5f4 /pull-binary-libs.sh | |
| parent | 0dd02d92a363ee13b13eb4536c938d24bb5dd98d (diff) | |
| download | scala-5258b63740c9fb1be3c531e1dc1399fb0dc55569.tar.gz scala-5258b63740c9fb1be3c531e1dc1399fb0dc55569.tar.bz2 scala-5258b63740c9fb1be3c531e1dc1399fb0dc55569.zip | |
SI-7096 SubstSymMap copies trees before modifying their symbols
I removed some strange code in a06d31f6a2 and replaced it by something
incorrect: SubstSymMap should never have side-effects: otherwise,
calling 'tpe1 <: tpe2' for instance would modify the symbols in
annotations of tpe2.
SubstSymMap now always creates new trees before changing them.
Diffstat (limited to 'pull-binary-libs.sh')
0 files changed, 0 insertions, 0 deletions