Ident factory in Quotes

The Ident type is exposed in Quotes.reflectModule API, but I don’t see a function in IdentModule (or elsewhere) provided to create such a value for a term name (is there anything I missed?).

Some simple factory like Ident("foo", ...) would be nice (and seems possible: https://github.com/cchantep/dotty/commit/a4c3dcfe8f0fa7a685a46da67aa322443206e61b#diff-42ea4b504ef08605734e689ebe8e3aed413718879873e2eff4951dbed4dc8da0R430 ).

[nicolasstucki]

To create case foo: MyType => foo you will need something like

      val owner = Symbol.spliceOwner
      val tpe = TypeRepr.of[MyType]
      val bind = Symbol.newBind(owner, "foo", Flags.Case, tpe)
      CaseDef(Bind(bind, Typed(Ref(bind), Inferred(tpe))), None, Ref(bind)))

[cchantep]

BTW it seems weird that to emit a case x: String => () it’s not possible to use:

val tpr = TypeRepr.of[String]
val bind =
  Symbol.newBind(
    Symbol.spliceOwner,
    tpr.typeSymbol.name.toLowerCase,
    Flags.Case,
    tpr
  )

val br = Ref(bind)

CaseDef(Typed(br, Inferred(tpr)), guard = None, rhs = UnitConstant())

/* Compilation error:

While expanding a macro, a reference to value string was used outside the scope where it was defined
*/

Indeed it seems required to write the CaseDef as below.

CaseDef(
  Bind(bind, Typed(Wildcard(), Inferred(tpr))),
  guard = None,
  rhs = Block(Nil, Literal(UnitConstant()))
)