diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-30 13:26:12 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-30 13:30:46 -0800 |
commit | 6f86583c83b99e3f4ff28785fe038ded02440961 (patch) | |
tree | a9ee46126ead0219bac9a2a7aa6502c95ef32468 /src/compiler | |
parent | 7026376dcc87f531de84c99aa3e52068f5b10874 (diff) | |
download | scala-6f86583c83b99e3f4ff28785fe038ded02440961.tar.gz scala-6f86583c83b99e3f4ff28785fe038ded02440961.tar.bz2 scala-6f86583c83b99e3f4ff28785fe038ded02440961.zip |
SI-6516, macros comparing types with == instead of =:=.
I gift-wrapped this ticket four months ago:
'I think it will be enough to say "tpe =:= MacroContextClass.tpe"
rather than == .'
Indeed. Had to open my own gift. Thanks, paulp!
Diffstat (limited to 'src/compiler')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Macros.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Macros.scala b/src/compiler/scala/tools/nsc/typechecker/Macros.scala index b20a9ea626..0ba76643ca 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Macros.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Macros.scala @@ -452,7 +452,7 @@ trait Macros extends scala.tools.reflect.FastTrack with Traces { if (aparam.name != rparam.name && !rparam.isSynthetic) MacroImplParamNameMismatchError(aparam, rparam) if (isRepeated(aparam) ^ isRepeated(rparam)) MacroImplVarargMismatchError(aparam, rparam) val aparamtpe = aparam.tpe.dealias match { - case RefinedType(List(tpe), Scope(sym)) if tpe == MacroContextClass.tpe && sym.allOverriddenSymbols.contains(MacroContextPrefixType) => tpe + case RefinedType(List(tpe), Scope(sym)) if tpe =:= MacroContextClass.tpe && sym.allOverriddenSymbols.contains(MacroContextPrefixType) => tpe case tpe => tpe } checkMacroImplParamTypeMismatch(atpeToRtpe(aparamtpe), rparam) |