Add mode to strip type prefix for SourceCodePrinter

[tgodzik]

This is a proposal to help with #9716

I see this is already an issue both in mdoc and in munit. It most likely also help with pprint's TypePrinter.

What do you think? I can add some tests if the solution is sensible.

[dottybot]

Hello, and thank you for opening this PR! 🎉

All contributors have signed the CLA, thank you! ❤️

Have an awesome day! ☀️

[nicolasstucki]

Suggested change

	printFullClassName(tp)
	if printTypePrefix then
	printFullClassName(tp)
	else ??? // print class name

[nicolasstucki]

Or maybe change the logic of printFullClassName.

[tgodzik]

I added a guard inside printFullClassName

[tgodzik]

What do you think about the additional showShortTypes @nicolasstucki ? Otherwise we will always need to bring in the compiler in with SyntaxHighlight

[nicolasstucki]

I would call it showShort.

[tgodzik]

Changed and added it to interfaces.

[tgodzik]

I finally managed to rebase and address the comments. Having an additional showShortTypes methods would be super useful for both mdoc and I think pprint (it would make it much easier to print types). Let me know what you think! I'll create tests if needed, let me know where best to add them if the current proposal is ok.

[nicolasstucki]

The implementation looks good.

[nicolasstucki]

I would call it showShort.

[tgodzik]

Managed to simplify the logic in mdoc to:

trait TPrint[T]{
  def render: String
}

object TPrint {
  inline given default[T] as TPrint[T] = ${ TypePrinter.typeString[T] }
}

object TypePrinter{

  def typeString[T](using ctx: Quotes, tpe: Type[T]): Expr[TPrint[T]] = {
    import quotes.reflect._
    val valueType = Type.showShort[T]

    '{  new TPrint[T]{ def render: String = ${ Expr(valueType) } }  }
  }
}

That should also work in pprint

Also we could use it here: https://github.com/scalameta/munit/blob/master/munit/shared/src/main/scala-3.0.0-M2/munit/internal/MacroCompat.scala#L28

[nicolasstucki]

Thank you @tgodzik