Skip to content

Commit 0576d72

Browse files
nicolasstuckinicolasstucki
committed
Add reflect Symbol.newModule 
1 parent 4167e54 commit 0576d72

File tree

12 files changed

+213
-13
lines changed

12 files changed

+213
-13
lines changed

‎compiler/src/dotty/tools/dotc/transform/MacroAnnotations.scala

+1-1
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ class MacroAnnotations(thisPhase: DenotTransformer):
127127
report.error(i"macro annotation $annot added $sym with an inconsistent owner. Expected it to be owned by ${annotated.owner} but was owned by ${sym.owner}.", annot.tree)
128128
else if annotated.isClass && annotated.owner.is(Package) /*&& !sym.isClass*/ then
129129
report.error(i"macro annotation can not add top-level ${sym.showKind}. $annot tried to add $sym.", annot.tree)
130-
else
130+
else if !sym.is(Module) then // To avoid entering it twice
131131
sym.enteredAfter(thisPhase)
132132

133133
object MacroAnnotations:

‎compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

+21-5
Original file line numberDiff line numberDiff line change
@@ -8,15 +8,16 @@ import dotty.tools.dotc.ast.tpd
88
import dotty.tools.dotc.ast.untpd
99
import dotty.tools.dotc.core.Annotations
1010
import dotty.tools.dotc.core.Contexts._
11-
import dotty.tools.dotc.core.Types
11+
import dotty.tools.dotc.core.Decorators._
1212
import dotty.tools.dotc.core.Flags._
1313
import dotty.tools.dotc.core.NameKinds
14+
import dotty.tools.dotc.core.NameOps._
1415
import dotty.tools.dotc.core.StdNames._
15-
import dotty.tools.dotc.quoted.reflect._
16-
import dotty.tools.dotc.core.Decorators._
16+
import dotty.tools.dotc.core.Types
1717
import dotty.tools.dotc.NoCompilationUnit
18-
19-
import dotty.tools.dotc.quoted.{MacroExpansion, PickledQuotes}
18+
import dotty.tools.dotc.quoted.MacroExpansion
19+
import dotty.tools.dotc.quoted.PickledQuotes
20+
import dotty.tools.dotc.quoted.reflect._
2021

2122
import scala.quoted.runtime.{QuoteUnpickler, QuoteMatching}
2223
import scala.quoted.runtime.impl.printers._
@@ -2481,6 +2482,21 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
24812482
for sym <- decls(cls) do cls.enter(sym)
24822483
cls
24832484

2485+
def newModule(owner: Symbol, name: String, modFlags: Flags, clsFlags: Flags, parents: List[TypeRepr], decls: Symbol => List[Symbol], privateWithin: Symbol): Symbol =
2486+
assert(parents.nonEmpty && !parents.head.typeSymbol.is(dotc.core.Flags.Trait), "First parent must be a class")
2487+
val mod = dotc.core.Symbols.newCompleteModuleSymbol(
2488+
owner,
2489+
name.toTermName,
2490+
modFlags | Flags.Final | Flags.Lazy | Flags.Module,
2491+
clsFlags | Flags.Final | Flags.Module,
2492+
parents.asInstanceOf, // FIXME
2493+
dotc.core.Scopes.newScope,
2494+
privateWithin)
2495+
val cls = mod.moduleClass.asClass
2496+
cls.enter(dotc.core.Symbols.newConstructor(cls, dotc.core.Flags.Synthetic, Nil, Nil))
2497+
for sym <- decls(cls) do cls.enter(sym)
2498+
mod
2499+
24842500
def newMethod(owner: Symbol, name: String, tpe: TypeRepr): Symbol =
24852501
newMethod(owner, name, tpe, Flags.EmptyFlags, noSymbol)
24862502
def newMethod(owner: Symbol, name: String, tpe: TypeRepr, flags: Flags, privateWithin: Symbol): Symbol =

‎library/src/scala/quoted/Quotes.scala

+60
Original file line numberDiff line numberDiff line change
@@ -3641,6 +3641,66 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
36413641
// TODO: add flags and privateWithin
36423642
@experimental def newClass(parent: Symbol, name: String, parents: List[TypeRepr], decls: Symbol => List[Symbol], selfType: Option[TypeRepr]): Symbol
36433643

3644+
/** Generates a new module symbol with an associated module class symbol.
3645+
* This returns the module symbol. The module class can be accessed calling `moduleClass` on this symbol.
3646+
*
3647+
* Example usage:
3648+
* ```scala
3649+
* //{
3650+
* given Quotes = ???
3651+
* import quotes.reflect._
3652+
* //}
3653+
* val moduleName: String = Symbol.freshName("MyModule")
3654+
* val parents = List(TypeTree.of[Object])
3655+
* def decls(cls: Symbol): List[Symbol] =
3656+
* List(Symbol.newMethod(cls, "run", MethodType(Nil)(_ => Nil, _ => TypeRepr.of[Unit]), Flags.EmptyFlags, Symbol.noSymbol))
3657+
*
3658+
* val mod = Symbol.newModule(Symbol.spliceOwner, moduleName, Flags.EmptyFlags, Flags.EmptyFlags, parents.map(_.tpe), decls, Symbol.noSymbol)
3659+
* val cls = mod.moduleClass
3660+
* val runSym = cls.declaredMethod("run").head
3661+
*
3662+
* val runDef = DefDef(runSym, _ => Some('{ println("run") }.asTerm))
3663+
* val clsDef = ClassDef(cls, parents, body = List(runDef))
3664+
* val newCls = Apply(Select(New(TypeIdent(cls)), cls.primaryConstructor), Nil)
3665+
* val modVal = ValDef(mod, Some(newCls))
3666+
* val modDef = List(modVal, clsDef)
3667+
*
3668+
* val callRun = Apply(Select(Ref(mod), runSym), Nil)
3669+
*
3670+
* Block(modDef, callRun)
3671+
* ```
3672+
* constructs the equivalent to
3673+
* ```scala
3674+
* //{
3675+
* given Quotes = ???
3676+
* import quotes.reflect._
3677+
* //}
3678+
* '{
3679+
* object MyModule$macro$1 extends Object:
3680+
* def run(): Unit = println("run")
3681+
* MyModule$macro$1.run()
3682+
* }
3683+
* ```
3684+
*
3685+
* @param parent The owner of the class
3686+
* @param name The name of the class
3687+
* @param modFlags extra flags to with which the module symbol should be constructed
3688+
* @param clsFlags extra flags to with which the module class symbol should be constructed
3689+
* @param parents The parent classes of the class. The first parent must not be a trait.
3690+
* @param decls The member declarations of the module provided the symbol of this class
3691+
* @param privateWithin the symbol within which this new method symbol should be private. May be noSymbol.
3692+
*
3693+
* This symbol starts without an accompanying definition.
3694+
* It is the meta-programmer's responsibility to provide exactly one corresponding definition by passing
3695+
* this symbol to the ClassDef and ValDef constructor.
3696+
*
3697+
* @note As a macro can only splice code into the point at which it is expanded, all generated symbols must be
3698+
* direct or indirect children of the reflection context's owner.
3699+
*
3700+
* @syntax markdown
3701+
*/
3702+
@experimental def newModule(owner: Symbol, name: String, modFlags: Flags, clsFlags: Flags, parents: List[TypeRepr], decls: Symbol => List[Symbol], privateWithin: Symbol): Symbol
3703+
36443704
/** Generates a new method symbol with the given parent, name and type.
36453705
*
36463706
* To define a member method of a class, use the `newMethod` within the `decls` function of `newClass`.

‎tests/run-custom-args/tasty-inspector/stdlibExperimentalDefinitions.scala

+1
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,7 @@ val experimentalDefinitionInLibrary = Set(
7474
// Need experimental annotation macros to check that design works.
7575
"scala.quoted.Quotes.reflectModule.ClassDefModule.apply",
7676
"scala.quoted.Quotes.reflectModule.SymbolModule.newClass",
77+
"scala.quoted.Quotes.reflectModule.SymbolModule.newModule",
7778
"scala.quoted.Quotes.reflectModule.SymbolModule.freshName",
7879
"scala.quoted.Quotes.reflectModule.SymbolMethods.info",
7980

‎tests/run-macros/annot-add-global-object.check

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
macro generated main
2+
executed in: Test_2$package$Bar$macro$1$
3+
macro generated main
4+
executed in: Test_2$package$Bar$macro$2$

‎tests/run-macros/annot-add-global-object/Macro_1.scala

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
import scala.annotation.{experimental, MacroAnnotation}
2+
import scala.quoted._
3+
import scala.collection.mutable
4+
5+
@experimental
6+
class addClass extends MacroAnnotation:
7+
def transform(using Quotes)(tree: quotes.reflect.Definition): List[quotes.reflect.Definition] =
8+
import quotes.reflect._
9+
tree match
10+
case DefDef(name, List(TermParamClause(Nil)), tpt, Some(rhs)) =>
11+
val parents = List(TypeTree.of[Object])
12+
def decls(cls: Symbol): List[Symbol] =
13+
List(Symbol.newMethod(cls, "run", MethodType(Nil)(_ => Nil, _ => TypeRepr.of[Unit]), Flags.EmptyFlags, Symbol.noSymbol))
14+
15+
val mod = Symbol.newModule(Symbol.spliceOwner, Symbol.freshName("Bar"), Flags.EmptyFlags, Flags.EmptyFlags, parents.map(_.tpe), decls, Symbol.noSymbol)
16+
val cls = mod.moduleClass
17+
18+
val runSym = cls.declaredMethod("run").head
19+
20+
val runDef = DefDef(runSym, _ => Some(rhs))
21+
22+
val clsDef = ClassDef(cls, parents, body = List(runDef))
23+
24+
val newCls = Apply(Select(New(TypeIdent(cls)), cls.primaryConstructor), Nil)
25+
val modVal = ValDef(mod, Some(newCls))
26+
27+
val newDef = DefDef.copy(tree)(name, List(TermParamClause(Nil)), tpt, Some(Apply(Select(Ref(mod), runSym), Nil)))
28+
List(modVal, clsDef, newDef)
29+
case _ =>
30+
report.error("Annotation only supports `def` with one argument")
31+
List(tree)

‎tests/run-macros/annot-add-global-object/Test_2.scala

+28
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
@addClass def foo(): Unit =
2+
println("macro generated main")
3+
println("executed in: " + (new Throwable().getStackTrace().head.getClassName))
4+
//> object Baz$macro$1 {
5+
//> def run() =
6+
//> println("macro generated main")
7+
//> println("executed in: " + getClass.getName)
8+
//> }
9+
//> def foo(): Unit =
10+
//> Baz$macro$1.run
11+
12+
@addClass def bar(): Unit =
13+
println("macro generated main")
14+
println("executed in: " + (new Throwable().getStackTrace().head.getClassName))
15+
//> object Baz$macro$2 {
16+
//> def run() =
17+
//> println("macro generated main")
18+
//> println("executed in: " + getClass.getName)
19+
//> }
20+
//> def foo(): Unit =
21+
//> Baz$macro$2.run
22+
23+
object Bar:
24+
def run() = ()
25+
26+
@main def Test(): Unit =
27+
foo()
28+
bar()

‎tests/run-macros/annot-add-local-object.check

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
macro generated main
2-
executed in: Test_2$package$Baz$2
2+
executed in: Test_2$package$Baz$2$
33
macro generated main
4-
executed in: Test_2$package$Baz$4
4+
executed in: Test_2$package$Baz$4$

‎tests/run-macros/annot-add-local-object/Macro_1.scala

+4-5
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,11 @@ class addClass extends MacroAnnotation:
1010
case DefDef(name, List(TermParamClause(Nil)), tpt, Some(rhs)) =>
1111
val parents = List(TypeTree.of[Object])
1212
def decls(cls: Symbol): List[Symbol] =
13-
List(Symbol.newMethod(cls, "run", MethodType(Nil)(_ => Nil, _ => TypeRepr.of[Unit]), Flags.Static, Symbol.noSymbol))
13+
List(Symbol.newMethod(cls, "run", MethodType(Nil)(_ => Nil, _ => TypeRepr.of[Unit]), Flags.EmptyFlags, Symbol.noSymbol))
14+
15+
val mod = Symbol.newModule(Symbol.spliceOwner, "Baz", Flags.EmptyFlags, Flags.EmptyFlags, parents.map(_.tpe), decls, Symbol.noSymbol)
16+
val cls = mod.moduleClass
1417

15-
// FIXME: missing flags: Final | Module
16-
// FIXME: how to set the self type?
17-
val cls = Symbol.newClass(Symbol.spliceOwner, "Baz", parents = parents.map(_.tpe), decls, selfType = None)
18-
val mod = Symbol.newVal(Symbol.spliceOwner, "Baz", cls.typeRef, Flags.Module | Flags.Lazy | Flags.Final, Symbol.noSymbol)
1918
val runSym = cls.declaredMethod("run").head
2019

2120
val runDef = DefDef(runSym, _ => Some(rhs))

‎tests/run-macros/annot-add-nested-object.check

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
macro generated main
2+
executed in: Foo$Bar$macro$1$
3+
macro generated main
4+
executed in: Foo$Bar$macro$2$

‎tests/run-macros/annot-add-nested-object/Macro_1.scala

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
import scala.annotation.{experimental, MacroAnnotation}
2+
import scala.quoted._
3+
import scala.collection.mutable
4+
5+
@experimental
6+
class addClass extends MacroAnnotation:
7+
def transform(using Quotes)(tree: quotes.reflect.Definition): List[quotes.reflect.Definition] =
8+
import quotes.reflect._
9+
tree match
10+
case DefDef(name, List(TermParamClause(Nil)), tpt, Some(rhs)) =>
11+
val parents = List(TypeTree.of[Object])
12+
def decls(cls: Symbol): List[Symbol] =
13+
List(Symbol.newMethod(cls, "run", MethodType(Nil)(_ => Nil, _ => TypeRepr.of[Unit]), Flags.EmptyFlags, Symbol.noSymbol))
14+
15+
val mod = Symbol.newModule(Symbol.spliceOwner, Symbol.freshName("Bar"), Flags.EmptyFlags, Flags.EmptyFlags, parents.map(_.tpe), decls, Symbol.noSymbol)
16+
val cls = mod.moduleClass
17+
18+
val runSym = cls.declaredMethod("run").head
19+
20+
val runDef = DefDef(runSym, _ => Some(rhs))
21+
22+
val clsDef = ClassDef(cls, parents, body = List(runDef))
23+
24+
val newCls = Apply(Select(New(TypeIdent(cls)), cls.primaryConstructor), Nil)
25+
val modVal = ValDef(mod, Some(newCls))
26+
27+
val newDef = DefDef.copy(tree)(name, List(TermParamClause(Nil)), tpt, Some(Apply(Select(Ref(mod), runSym), Nil)))
28+
List(modVal, clsDef, newDef)
29+
case _ =>
30+
report.error("Annotation only supports `def` with one argument")
31+
List(tree)

‎tests/run-macros/annot-add-nested-object/Test_2.scala

+26
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
class Foo():
2+
@addClass def foo(): Unit =
3+
println("macro generated main")
4+
println("executed in: " + (new Throwable().getStackTrace().head.getClassName))
5+
//> object Baz$macro$1 {
6+
//> def run() =
7+
//> println("macro generated main")
8+
//> println("executed in: " + getClass.getName)
9+
//> }
10+
//> def foo(): Unit =
11+
//> Baz$macro$1.run
12+
13+
@addClass def bar(): Unit =
14+
println("macro generated main")
15+
println("executed in: " + (new Throwable().getStackTrace().head.getClassName))
16+
//> object Baz$macro$2 {
17+
//> def run() =
18+
//> println("macro generated main")
19+
//> println("executed in: " + getClass.getName)
20+
//> }
21+
//> def foo(): Unit =
22+
//> Baz$macro$2.run
23+
24+
@main def Test(): Unit =
25+
new Foo().foo()
26+
new Foo().bar()

0 commit comments

Comments
 (0)