From 485df22dcceb36c3970f2e39d0778d137148f65b Mon Sep 17 00:00:00 2001 From: liu fengyun Date: Wed, 1 Feb 2017 09:52:15 +0100 Subject: fix #1626: inconsistent names in -Xprint --- compiler/src/dotty/tools/dotc/printing/package.scala | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'compiler/src/dotty/tools/dotc/printing/package.scala') diff --git a/compiler/src/dotty/tools/dotc/printing/package.scala b/compiler/src/dotty/tools/dotc/printing/package.scala index 814eb2ad0..e2c0dda1b 100644 --- a/compiler/src/dotty/tools/dotc/printing/package.scala +++ b/compiler/src/dotty/tools/dotc/printing/package.scala @@ -2,6 +2,7 @@ package dotty.tools.dotc import core.StdNames.nme import parsing.{precedence, minPrec, maxPrec, minInfixPrec} +import util.Property.Key package object printing { @@ -14,4 +15,9 @@ package object printing { val GlobalPrec = parsing.minPrec val TopLevelPrec = parsing.minPrec - 1 + /** A property to indicate whether the compiler is currently doing -Xprint + * + * -Xprint will print `sym.name` instead of `sym.originalName` + */ + val XprintMode = new Key[Unit] } -- cgit v1.2.3