diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-19 15:56:23 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-19 15:56:23 +0200 |
commit | edb9facac55f61540e0f9af8d06ac9390830fcb8 (patch) | |
tree | 9cfec6438727a6cf8925b316a0bcfe51a57751a1 /src/dotty/tools/dotc/core | |
parent | 330fee9d79d2f414dcc02c494ba6d632d4ecbb8f (diff) | |
download | dotty-edb9facac55f61540e0f9af8d06ac9390830fcb8.tar.gz dotty-edb9facac55f61540e0f9af8d06ac9390830fcb8.tar.bz2 dotty-edb9facac55f61540e0f9af8d06ac9390830fcb8.zip |
Made NameTransformer encode return the kind of name it is given.
Fixes a bug in typedIdent.
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions