diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-01 14:47:06 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:01:59 +0200 |
| commit | f0249f2bdd8aeb349309dc1ea6ed248987c800f9 (patch) | |
| tree | 43d680e3fbcbd2e89d03dc820f679c7e8e873d0f /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 3ab2784948d084557e88cd7eb5c55a29613742d0 (diff) | |
| download | dotty-f0249f2bdd8aeb349309dc1ea6ed248987c800f9.tar.gz dotty-f0249f2bdd8aeb349309dc1ea6ed248987c800f9.tar.bz2 dotty-f0249f2bdd8aeb349309dc1ea6ed248987c800f9.zip | |
Rename SignedType -> MethodicType
... for the common supertype of MethodType, PolyType, and ExprType.
Signed was confusing.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 91f4ce9a5..99bb82844 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -735,9 +735,9 @@ trait Applications extends Compatibility { self: Typer => onMethod(tp, isApplicable(_, args, resultType)) private def onMethod(tp: Type, p: TermRef => Boolean)(implicit ctx: Context): Boolean = tp match { - case methRef: TermRef if methRef.widenSingleton.isInstanceOf[SignedType] => + case methRef: TermRef if methRef.widenSingleton.isInstanceOf[MethodicType] => p(methRef) - case mt: SignedType => + case mt: MethodicType => p(mt.narrow) case _ => tp.member(nme.apply).hasAltWith(d => p(TermRef(tp, nme.apply, d))) |