diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-08-20 11:37:51 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-20 11:37:51 +0200 |
| commit | b10c590c59938576e7f27718fff245ea9ffe0629 (patch) | |
| tree | 2e206d2b7bb03c6fabd73b3ff6cd8355db79f38a /src/dotty/tools/dotc/core/transform/Erasure.scala | |
| parent | 65aa10526340bc618bdba71a4cd5616e8a185715 (diff) | |
| download | dotty-b10c590c59938576e7f27718fff245ea9ffe0629.tar.gz dotty-b10c590c59938576e7f27718fff245ea9ffe0629.tar.bz2 dotty-b10c590c59938576e7f27718fff245ea9ffe0629.zip | |
Fix signature of by-name parameters.
Diffstat (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/transform/Erasure.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/transform/Erasure.scala b/src/dotty/tools/dotc/core/transform/Erasure.scala index be7df46a9..a40d273f2 100644 --- a/src/dotty/tools/dotc/core/transform/Erasure.scala +++ b/src/dotty/tools/dotc/core/transform/Erasure.scala @@ -111,7 +111,7 @@ class Erasure(isJava: Boolean, isSemi: Boolean, isConstructor: Boolean, wildcard * - For any other uncurried method type (Fs)T, (|Fs|)|T|. * - For a curried method type (Fs1)(Fs2)T, (|Fs1|,Es2)ET where (Es2)ET = |(Fs2)T|. * - For a polymorphic type [Ts](Ps)T, |(Ps)T| - * _ For a polymorphic type [Ts]T where T is not a method type, ()|T| + * _ For a polymorphic type [Ts]T where T is not a method type, ()|T| * - For the class info type of java.lang.Object, the same type without any parents. * - For a class info type of a value class, the same type without any parents. * - For any other class info type with parents Ps, the same type with @@ -259,6 +259,8 @@ class Erasure(isJava: Boolean, isSemi: Boolean, isConstructor: Boolean, wildcard sigName(elem) ++ "[]" case tp: TypeBounds => sigName(tp.hi) + case ExprType(rt) => + sigName(defn.FunctionType(Nil, rt)) case tp: TypeProxy => sigName(tp.underlying) case ErrorType | WildcardType => |