Merge pull request #6511 from milessabin/topic/negated-numeric-literal-types

Add support for negative numeric literal types

Author: odersky

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -1037,6 +1037,11 @@ object Parsers {
       else if (in.token == LBRACE)
         atSpan(in.offset) { RefinedTypeTree(EmptyTree, refinement()) }
       else if (isSimpleLiteral) { SingletonTypeTree(literal()) }
+      else if (isIdent(nme.raw.MINUS) && in.lookaheadIn(numericLitTokens)) {
+        val start = in.offset
+        in.nextToken()
+        SingletonTypeTree(literal(negOffset = start))
+      }
       else if (in.token == USCORE) {
         val start = in.skipToken()
         typeBounds().withSpan(Span(start, in.lastOffset, start))

tests/pos/sip23-negative-literals.scala

@@ -0,0 +1,9 @@
+object Test {
+  type ~~[A, B]
+  type nonNeg = 2 ~~ 2
+
+  type neg0 = -2
+  type neg1 = -2 ~~ 2
+  type neg2 = 2 ~~ -2
+  type neg3 = -2 ~~ -2
+}