Skip to content

Commit aab269f

Browse files
committed
Move quoted patterns into scala.quoted.internal
1 parent 74e98d4 commit aab269f

File tree

5 files changed

+88
-88
lines changed

5 files changed

+88
-88
lines changed

compiler/src/dotty/tools/dotc/core/Definitions.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -818,7 +818,7 @@ class Definitions {
818818
@tu lazy val InternalQuoted_exprNestedSplice : Symbol = InternalQuotedModule.requiredMethod("exprNestedSplice")
819819
@tu lazy val InternalQuoted_QuoteTypeTagAnnot: ClassSymbol = InternalQuotedModule.requiredClass("quoteTypeTag")
820820

821-
@tu lazy val InternalQuotedPatterns: Symbol = requiredModule("scala.internal.quoted.Patterns")
821+
@tu lazy val InternalQuotedPatterns: Symbol = requiredModule("scala.quoted.internal.Patterns")
822822
@tu lazy val InternalQuotedPatterns_patternHole: Symbol = InternalQuotedPatterns.requiredMethod("patternHole")
823823
@tu lazy val InternalQuotedPatterns_patternHigherOrderHole: Symbol = InternalQuotedPatterns.requiredMethod("patternHigherOrderHole")
824824
@tu lazy val InternalQuotedPatterns_higherOrderHole: Symbol = InternalQuotedPatterns.requiredMethod("higherOrderHole")

library/src/scala/internal/quoted/QuoteContextInternal.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ trait QuoteContextInternal { self: QuoteContext =>
3131
* will return `None` due to the missmatch of types in the hole
3232
*
3333
* Holes:
34-
* - scala.internal.quoted.Patterns.patternHole[T]: hole that matches an expression `x` of type `Expr[U]`
34+
* - scala.quoted.internal.Patterns.patternHole[T]: hole that matches an expression `x` of type `Expr[U]`
3535
* if `U <:< T` and returns `x` as part of the match.
3636
*
3737
* @param scrutinee `Expr[Any]` on which we are pattern matching
Original file line numberDiff line numberDiff line change
@@ -1,27 +1,27 @@
1-
package scala.internal.quoted
1+
package scala.quoted.internal
22

33
import scala.annotation.{Annotation, compileTimeOnly}
44

55
object Patterns {
66

77
/** A splice in a quoted pattern is desugared by the compiler into a call to this method */
8-
@compileTimeOnly("Illegal reference to `scala.internal.quoted.Patterns.patternHole`")
8+
@compileTimeOnly("Illegal reference to `scala.quoted.internal.Patterns.patternHole`")
99
def patternHole[T]: T = ???
1010

11-
@compileTimeOnly("Illegal reference to `scala.internal.quoted.Patterns.patternHigherOrderHole`")
11+
@compileTimeOnly("Illegal reference to `scala.quoted.internal.Patterns.patternHigherOrderHole`")
1212
/** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method */
1313
def patternHigherOrderHole[U](pat: Any, args: Any*): U = ???
1414

15-
@compileTimeOnly("Illegal reference to `scala.internal.quoted.Patterns.higherOrderHole`")
15+
@compileTimeOnly("Illegal reference to `scala.quoted.internal.Patterns.higherOrderHole`")
1616
/** A higher order splice in a quoted pattern is desugared by the compiler into a call to this method */
1717
def higherOrderHole[U](args: Any*): U = ???
1818

1919
/** A splice of a name in a quoted pattern is that marks the definition of a type splice */
20-
@compileTimeOnly("Illegal reference to `scala.internal.quoted.Patterns.patternType`")
20+
@compileTimeOnly("Illegal reference to `scala.quoted.internal.Patterns.patternType`")
2121
class patternType extends Annotation
2222

2323
/** A type pattern that must be aproximated from above */
24-
@compileTimeOnly("Illegal reference to `scala.internal.quoted.Patterns.fromAbove`")
24+
@compileTimeOnly("Illegal reference to `scala.quoted.internal.Patterns.fromAbove`")
2525
class fromAbove extends Annotation
2626

2727
}

0 commit comments

Comments
 (0)