diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-06-12 12:46:57 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 12:55:11 +0200 |
| commit | 51563aee5478f90a0f86c29385f74d020b8995dd (patch) | |
| tree | 05d317678ee3eda3c8d15af334e5a7e221722644 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | c2175ec910165308e81c48bd8ca8910c50862be4 (diff) | |
| download | dotty-51563aee5478f90a0f86c29385f74d020b8995dd.tar.gz dotty-51563aee5478f90a0f86c29385f74d020b8995dd.tar.bz2 dotty-51563aee5478f90a0f86c29385f74d020b8995dd.zip | |
Change definition of isLegalPrefix so that it allows projecting on an abstract type.
This is needed to make the encoding og higher-kinded types work. E.g.
Rep[Int]
would be represented as
Rep { type Arg$0 = Int } # Apply
where Apply is an abstract member of the base class Lambfa$I of Rep.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index d6b724270..c01cf714f 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -277,7 +277,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit def typedSelectFromTypeTree(tree: untpd.SelectFromTypeTree, pt: Type)(implicit ctx: Context): SelectFromTypeTree = track("typedSelectFromTypeTree") { val qual1 = typedType(tree.qualifier, selectionProto(tree.name, pt, this)) - checkLegalPrefix(qual1.tpe, qual1.pos) + checkLegalPrefix(qual1.tpe, tree.name, qual1.pos) assignType(cpy.SelectFromTypeTree(tree, qual1, tree.name), qual1) } |