diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-11-07 22:49:21 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-11-09 15:45:39 +0100 |
| commit | af6ffc319cb23c5ade01251a93810f7a33429e58 (patch) | |
| tree | 99dd27434fcc4fd37aeaae359ea5d0e1f9700767 /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 5398c5a723b0f8b0d35e6c3ad230c5046169e837 (diff) | |
| download | dotty-af6ffc319cb23c5ade01251a93810f7a33429e58.tar.gz dotty-af6ffc319cb23c5ade01251a93810f7a33429e58.tar.bz2 dotty-af6ffc319cb23c5ade01251a93810f7a33429e58.zip | |
Renamings in Definitions
TypeRef becomes Type, thus removing duplicates. Where
...Type was used in an extraction (e.g. ArrayType(...),
FunctionType(...)), we now use ...Of.
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 2e945683b..64047cc1e 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -949,7 +949,7 @@ trait Applications extends Compatibility { self: Typer => /** The shape of given tree as a type; cannot handle named arguments. */ def typeShape(tree: untpd.Tree): Type = tree match { case untpd.Function(args, body) => - defn.FunctionType(args map Function.const(defn.AnyType), typeShape(body)) + defn.FunctionOf(args map Function.const(defn.AnyType), typeShape(body)) case _ => defn.NothingType } @@ -1068,7 +1068,7 @@ trait Applications extends Compatibility { self: Typer => val alts1 = alts filter pt.isMatchedBy resolveOverloaded(alts1, pt1, targs) - case defn.FunctionType(args, resultType) => + case defn.FunctionOf(args, resultType) => narrowByTypes(alts, args, resultType) case pt => |