diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-06-25 09:39:15 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-07-13 15:31:15 +0200 |
commit | d8985603b5d670414ea7844a628168f92a09c402 (patch) | |
tree | d024e3b6ceea68c62764faaead372a6b2af36c4a /src/dotty/tools/dotc/core/Names.scala | |
parent | c76d63da11e8456422c0bd0fd3e38cfdad049e50 (diff) | |
download | dotty-d8985603b5d670414ea7844a628168f92a09c402.tar.gz dotty-d8985603b5d670414ea7844a628168f92a09c402.tar.bz2 dotty-d8985603b5d670414ea7844a628168f92a09c402.zip |
SpecializeNames: Duplicate scalac behaviour, sort tparams
Diffstat (limited to 'src/dotty/tools/dotc/core/Names.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Names.scala | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Names.scala b/src/dotty/tools/dotc/core/Names.scala index 1ee56fe1c..a09487280 100644 --- a/src/dotty/tools/dotc/core/Names.scala +++ b/src/dotty/tools/dotc/core/Names.scala @@ -347,4 +347,27 @@ object Names { StringBuilder.newBuilder.mapResult(s => from.fromChars(s.toCharArray, 0, s.length)) def apply(): Builder[Char, Name] = termNameBuilder } + + implicit val NameOrdering: Ordering[Name] = new Ordering[Name] { + def compare(x: Name, y: Name): Int = { + if (x.isTermName && y.isTypeName) 1 + else if (x.isTypeName && y.isTermName) -1 + else if (x.start == y.start && x.length == y.length) 0 + else { + val until = Math.min(x.length, y.length) + var i = 0 + + while (i < until && x(i) == y(i)) i = i + 1 + + if (i < until) { + if (x(i) < y(i)) -1 + else /*(x(i) > y(i))*/ 1 + } else { + if (x.length < y.length) 1 + else if (x.length > y.length) -1 + else 0 // shouldn't happen, but still + } + } + } + } } |