From 2181f57a9ad63062ece13c761f85d84343d7e6f0 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Sun, 9 Feb 2020 21:51:54 +0100 Subject: [PATCH] Update RefinedPrinter to new given syntax --- compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala index c3232fbe086d..5d0160d168f9 100644 --- a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -772,8 +772,9 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { } private def paramsText[T>: Untyped](params: List[ValDef[T]]) = - keywordText(" with ").provided(params.nonEmpty && params.head.mods.is(Given)) - ~ "(" ~ toText(params, ", ") ~ ")" + "(" ~ keywordText("using ").provided(params.nonEmpty && params.head.mods.is(Given)) + ~ keywordText("erased ").provided(params.nonEmpty && params.head.mods.is(Erased)) + ~ toText(params, ", ") ~ ")" protected def defDefToText[T >: Untyped](tree: DefDef[T]): Text = { import untpd.{modsDeco => _}