diff options
| author | Martin Odersky <odersky@gmail.com> | 2008-02-26 10:23:06 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2008-02-26 10:23:06 +0000 |
| commit | f41ab7c062b47087f9cb0ba4eea71ea043f8c2e5 (patch) | |
| tree | 6c361ac09f988e037aacd219bcdee8f459c57e06 | |
| parent | cf5f84719b7e0586f7e971e941bd3d1d77d65f1a (diff) | |
| download | scala-f41ab7c062b47087f9cb0ba4eea71ea043f8c2e5.tar.gz scala-f41ab7c062b47087f9cb0ba4eea71ea043f8c2e5.tar.bz2 scala-f41ab7c062b47087f9cb0ba4eea71ea043f8c2e5.zip | |
fixed #520
| -rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index 3f399d167a..616a6f71fe 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -4189,6 +4189,8 @@ A type's typeSymbol should never be inspected directly. } catch { case ex: MalformedType => None } + case ExistentialType(tparams, quantified) :: rest => + mergePrefixAndArgs(quantified :: rest, variance, depth) map (existentialAbstraction(tparams, _)) case _ => assert(false, tps); None } |