diff options
author | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-23 10:01:07 +0200 |
---|---|---|
committer | Olivier Blanvillain <olivier.blanvillain@gmail.com> | 2016-09-23 10:01:59 +0200 |
commit | e11fc1677494dfeef004842dc728ca01898009ff (patch) | |
tree | f691e418bdb726dbc63a1e46a80706dcad1d2ac9 /src/dotty/tools/dotc/typer/TypeAssigner.scala | |
parent | 5d8f132b98ca10e47773275c7048ce132f5f197c (diff) | |
download | dotty-e11fc1677494dfeef004842dc728ca01898009ff.tar.gz dotty-e11fc1677494dfeef004842dc728ca01898009ff.tar.bz2 dotty-e11fc1677494dfeef004842dc728ca01898009ff.zip |
Clean up config.Printers imports
And remove the not used Printer#echo
Diffstat (limited to 'src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/TypeAssigner.scala | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/typer/TypeAssigner.scala b/src/dotty/tools/dotc/typer/TypeAssigner.scala index 36404a68f..9c314b649 100644 --- a/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -8,7 +8,7 @@ import Scopes._, Contexts._, Constants._, Types._, Symbols._, Names._, Flags._, import ErrorReporting._, Annotations._, Denotations._, SymDenotations._, StdNames._, TypeErasure._ import TypeApplications.AppliedType import util.Positions._ -import config.Printers._ +import config.Printers.typr import ast.Trees._ import NameOps._ import collection.mutable @@ -81,10 +81,11 @@ trait TypeAssigner { parentType.findMember(decl.name, info.cls.thisType, Private) .suchThat(decl.matches(_)) val inheritedInfo = inherited.info - if (inheritedInfo.exists && decl.info <:< inheritedInfo && !(inheritedInfo <:< decl.info)) - typr.echo( - i"add ref $parent $decl --> ", - RefinedType(parent, decl.name, decl.info)) + if (inheritedInfo.exists && decl.info <:< inheritedInfo && !(inheritedInfo <:< decl.info)) { + val r = RefinedType(parent, decl.name, decl.info) + typr.println(i"add ref $parent $decl --> " + r) + r + } else parent } |