Merge pull request #9606 from dotty-staging/update-reference-compiler-2

Update reference compiler

Author: odersky

compiler/src/dotty/tools/dotc/ast/Trees.scala

@@ -1379,11 +1379,11 @@ object Trees {
       // Ties the knot of the traversal: call `foldOver(x, tree))` to dive in the `tree` node.
       def apply(x: X, tree: Tree)(using Context): X
 
-      def apply(x: X, trees: List[Tree])(using Context): X = trees match
-        case tree :: rest =>
-          apply(apply(x, tree), rest)
-        case Nil =>
-          x
+      def apply(x: X, trees: List[Tree])(using Context): X =
+        def fold(x: X, trees: List[Tree]): X = trees match
+          case tree :: rest => fold(apply(x, tree), rest)
+          case Nil => x
+        fold(x, trees)
 
       def foldOver(x: X, tree: Tree)(using Context): X =
         if (tree.source != ctx.source && tree.source.exists)

library/src-non-bootstrapped/scala/Enum.scala

@@ -5,4 +5,3 @@ trait Enum extends Product, Serializable:
 
   /** A number uniquely identifying a case of an enum */
   def ordinal: Int
-  protected def $ordinal: Int

library/src-non-bootstrapped/scala/implicits/Not.scala

@@ -15,21 +15,6 @@ object CompileTime {
   @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprNestedSplice`")
   def exprNestedSplice[T](ctx: QuoteContext)(x: ctx.Nested ?=> Expr[T]): T = ???
 
-  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.typeQuote`")
-  def typeQuote[T <: AnyKind]: Type[T] = ???
-
-  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternHole`")
-  def patternHole[T]: T = ???
-
-  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternBindHole`")
-  class patternBindHole extends Annotation
-
-  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternType`")
-  class patternType extends Annotation
-
-  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.fromAbove`")
-  class fromAbove extends Annotation
-
   @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.quoteTypeTag`")
   class quoteTypeTag extends Annotation
 

library/src-non-bootstrapped/scala/internal/quoted/CompileTime.scala

@@ -33,4 +33,10 @@ object Expr {
         hasTypeSplices: Boolean, qctx: QuoteContext): Option[Tup] =
     throw new Exception("Non bootstrapped lib")
 
+  def `null`: QuoteContext ?=> quoted.Expr[Null] =
+    throw new Exception("Non bootstrapped lib")
+
+  def Unit: QuoteContext ?=> quoted.Expr[Unit] =
+    throw new Exception("Non bootstrapped lib")
+
 }

library/src-non-bootstrapped/scala/internal/quoted/Expr.scala

@@ -1,5 +1,11 @@
 package scala.quoted
 
-abstract class Type[T <: AnyKind] private[scala]:
-  type `$splice` = T
+import scala.annotation.compileTimeOnly
+
+abstract class Type[X <: AnyKind] private[scala]:
+  type T = X
   def unseal(using qctx: QuoteContext): qctx.tasty.TypeTree
+
+object Type:
+  @compileTimeOnly("Reference to `scala.quoted.Type.apply` was not handled by ReifyQuotes")
+  given apply[T <: AnyKind] as (QuoteContext ?=> Type[T]) = ???

library/src-non-bootstrapped/scala/quoted/Type.scala

@@ -62,7 +62,7 @@ object MyScalaJSPlugin extends AutoPlugin {
 }
 
 object Build {
-  val referenceVersion = "0.26.0-RC1"
+  val referenceVersion = "0.27.0-bin-20200819-6e6f67b-NIGHTLY"
 
   val baseVersion = "0.27.0"
   val baseSbtDottyVersion = "0.4.2"