diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-01-08 17:52:00 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-01-08 17:52:00 +0100 |
| commit | 9f745338242524c6607fa7b2930157b0c71be939 (patch) | |
| tree | 47538e766d412760b2298eaf16ab56589eb772be /src/dotty/tools/dotc/core/NameOps.scala | |
| parent | 0bc9f680af7670985ff10b1e5fa472655745c90b (diff) | |
| download | dotty-9f745338242524c6607fa7b2930157b0c71be939.tar.gz dotty-9f745338242524c6607fa7b2930157b0c71be939.tar.bz2 dotty-9f745338242524c6607fa7b2930157b0c71be939.zip | |
Refacttored skolemization logic
... into a new trait "Skolemization".
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/NameOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index 240447e6d..c15c4c4c2 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -355,5 +355,5 @@ object NameOps { case NO_NAME => primitivePostfixMethodName case name => name } - } + } }
\ No newline at end of file |