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/ProtoTypes.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/ProtoTypes.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/ProtoTypes.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/ProtoTypes.scala b/src/dotty/tools/dotc/typer/ProtoTypes.scala index 2b19d9db3..db196f0c2 100644 --- a/src/dotty/tools/dotc/typer/ProtoTypes.scala +++ b/src/dotty/tools/dotc/typer/ProtoTypes.scala @@ -370,7 +370,7 @@ object ProtoTypes { if (pt.isInstanceOf[ApplyingProto]) mt.derivedMethodType(mt.paramNames, mt.paramTypes, rt) else { - val ft = defn.FunctionType(mt.paramTypes, rt) + val ft = defn.FunctionOf(mt.paramTypes, rt) if (mt.paramTypes.nonEmpty || ft <:< pt) ft else rt } } |