diff options
author | Martin Odersky <odersky@gmail.com> | 2016-11-19 17:51:08 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-11-19 17:51:08 +0100 |
commit | 8932d98c4dcb6eb840cf640bc636982236613a16 (patch) | |
tree | 71540bf8bad2dfec17b984515c6fb31861df5b50 /bin/common | |
parent | ca8def4b01369ffbb367b9bb6531dfc1ae4e7936 (diff) | |
download | dotty-8932d98c4dcb6eb840cf640bc636982236613a16.tar.gz dotty-8932d98c4dcb6eb840cf640bc636982236613a16.tar.bz2 dotty-8932d98c4dcb6eb840cf640bc636982236613a16.zip |
Recreate FreshNameCreator for each run.
Previously only the FrontEnd got a fresh FreshNameCreator for
each run, the other phases used a global one instead. This means
that compiling the same file several times would create different
synthetic names and classes on each run.
Diffstat (limited to 'bin/common')
0 files changed, 0 insertions, 0 deletions