Add literal-based singleton types (SIP-23).

Only the parser needed to be updated. Everything else works out of the box.
josh-newman · Aug 23, 2015 · c0001fb · c0001fb
1 parent fc979d9
commit c0001fb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/dotty/tools/dotc/parsing/Parsers.scala b/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -709,12 +709,14 @@ object Parsers {
      *                     |  Path `.' type
      *                     |  `(' ArgTypes `)'
      *                     |  Refinement
+     *                     |  Literal
      */
     def simpleType(): Tree = simpleTypeRest {
       if (in.token == LPAREN)
         atPos(in.offset) { makeTupleOrParens(inParens(argTypes())) }
       else if (in.token == LBRACE)
         atPos(in.offset) { RefinedTypeTree(EmptyTree, refinement()) }
+      else if (isLiteral) { SingletonTypeTree(literal()) }
       else path(thisOK = false, handleSingletonType) match {
         case r @ SingletonTypeTree(_) => r
         case r => convertToTypeId(r)