From ca2dbe55eb55ec0d5461a62f5783ab1f1ebb4818 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Tue, 10 Dec 2013 14:38:13 +0100 Subject: drops the redundant typecheck of blackbox expansions MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit While fixing the problem with the order of typechecks for whitebox expansions, I realized that we’re doing redundant work when expanding blackbox macros. Concretely, typechecking blackbox expansions looked as follows: val expanded1 = atPos(enclosingMacroPosition.focus)(Typed(expanded0, TypeTree(innerPt))) val expanded2 = typecheck("blackbox typecheck #1", expanded1, innerPt) typecheck("blackbox typecheck #2", expanded1, outerPt) Or, if we reformulate it using quasiquotes (temporarily not taking positions into account, since they aren’t important here): val expanded2 = typed(q”$expanded: $innerPt”, innerPt) typed(expanded2, outerPt) In this formulation, it becomes apparent that the first typecheck is redundant. If something is ascribed with some type, then typechecking the ascription against that type does nothing useful. This is also highlights one of the reasons why it would be really nice to have quasiquotes used in the compiler. With them, it’s easy to notice things that would otherwise remain buried behind swaths of boilerplate. --- src/compiler/scala/tools/nsc/typechecker/Macros.scala | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/compiler') diff --git a/src/compiler/scala/tools/nsc/typechecker/Macros.scala b/src/compiler/scala/tools/nsc/typechecker/Macros.scala index 5a67feee69..a18068f2e0 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Macros.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Macros.scala @@ -635,8 +635,7 @@ trait Macros extends FastTrack with MacroRuntimes with Traces with Helpers { if (isBlackbox(expandee)) { val expanded1 = atPos(enclosingMacroPosition.focus)(Typed(expanded0, TypeTree(innerPt))) - val expanded2 = typecheck("blackbox typecheck #1", expanded1, innerPt) - typecheck("blackbox typecheck #2", expanded1, outerPt) + typecheck("blackbox typecheck", expanded1, outerPt) } else { val expanded1 = expanded0 val expanded2 = typecheck("whitebox typecheck #1", expanded1, outerPt) -- cgit v1.2.3