diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-22 18:34:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-22 18:58:18 +0100 |
commit | 6ed666c4be5bc4904c926a265d711b85f729d4b3 (patch) | |
tree | bfd51f640ecd89eb3a6d111213747af77c68dde2 /src/dotty/tools/dotc/core/Definitions.scala | |
parent | 108be8880688653de490975f29f6ae469e9f3e6a (diff) | |
download | dotty-6ed666c4be5bc4904c926a265d711b85f729d4b3.tar.gz dotty-6ed666c4be5bc4904c926a265d711b85f729d4b3.tar.bz2 dotty-6ed666c4be5bc4904c926a265d711b85f729d4b3.zip |
Typing by-name parameters with ExprTypes.
To avoid duplication between by-name parameters and expr types, we treat by-name parameters as as having ExprType. A part of this is introducing ByNameTypeTree, a specific tree class for => T types.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index a2527c9f2..a24bdd7d8 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -182,7 +182,7 @@ class Definitions(implicit ctx: Context) { lazy val BoxedFloatClass = requiredClass("java.lang.Float") lazy val BoxedDoubleClass = requiredClass("java.lang.Double") - lazy val ByNameParamClass = specialPolyClass(tpnme.BYNAME_PARAM_CLASS, Covariant, AnyType) + lazy val ByNameParamClass2x = specialPolyClass(tpnme.BYNAME_PARAM_CLASS, Covariant, AnyType) lazy val EqualsPatternClass = specialPolyClass(tpnme.EQUALS_PATTERN, EmptyFlags, AnyType) lazy val RepeatedParamClass = specialPolyClass(tpnme.REPEATED_PARAM_CLASS, Covariant, SeqType) @@ -451,7 +451,7 @@ class Definitions(implicit ctx: Context) { AnyRefAlias, RepeatedParamClass, JavaRepeatedParamClass, - ByNameParamClass, + ByNameParamClass2x, AnyClass, AnyValClass, NullClass, |