From b10c590c59938576e7f27718fff245ea9ffe0629 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 20 Aug 2014 11:37:51 +0200 Subject: Fix signature of by-name parameters. --- src/dotty/tools/dotc/core/transform/Erasure.scala | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala') 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 => -- cgit v1.2.3