diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-19 12:18:10 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:08 +0100 |
commit | f922a46b09cd65a421f8a61eb1979e651a8e8110 (patch) | |
tree | a6d204483ee0e2b4070a7b51ab87063f2629201c /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | 5b63106448275d6cc4bb6822af33247c2521a63c (diff) | |
download | dotty-f922a46b09cd65a421f8a61eb1979e651a8e8110.tar.gz dotty-f922a46b09cd65a421f8a61eb1979e651a8e8110.tar.bz2 dotty-f922a46b09cd65a421f8a61eb1979e651a8e8110.zip |
Moved part of computation of types of DefDefs from Namer to TypeOps
... so that this can be re-used in the tree unpickler.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 3e04eb037..9a9251646 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -10,7 +10,7 @@ import util.SimpleMap import collection.mutable import ast.tpd._ -trait TypeOps { this: Context => +trait TypeOps { this: Context => // TODO: Make standalone object. final def asSeenFrom(tp: Type, pre: Type, cls: Symbol, theMap: AsSeenFromMap): Type = { @@ -402,6 +402,23 @@ trait TypeOps { this: Context => /** Is auto-tupling enabled? */ def canAutoTuple = !featureEnabled(defn.LanguageModuleClass, nme.noAutoTupling) + + def methodType(typeParams: List[Symbol], valueParamss: List[List[Symbol]], resultType: Type, isJava: Boolean = false)(implicit ctx: Context): Type = { + val monotpe = + (valueParamss :\ resultType) { (params, resultType) => + val make = + if (params.nonEmpty && (params.head is Implicit)) ImplicitMethodType + else if (isJava) JavaMethodType + else MethodType + if (isJava) + for (param <- params) + if (param.info.isDirectRef(defn.ObjectClass)) param.info = defn.AnyType + make.fromSymbols(params, resultType) + } + if (typeParams.nonEmpty) PolyType.fromSymbols(typeParams, monotpe) + else if (valueParamss.isEmpty) ExprType(monotpe) + else monotpe + } } object TypeOps { |