diff options
author | Martin Odersky <odersky@gmail.com> | 2014-03-19 17:56:03 +0100 |
---|---|---|
committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:30 +0100 |
commit | d6df293d2120f2247198cb6646a23c338f7dcbbf (patch) | |
tree | 6e5fe081dd2cd2f25b745bfd6e99328313b57ce8 /src/dotty/tools/dotc/typer/Namer.scala | |
parent | 40202eedb940d0614c08b1ba36c8648ed56ea332 (diff) | |
download | dotty-d6df293d2120f2247198cb6646a23c338f7dcbbf.tar.gz dotty-d6df293d2120f2247198cb6646a23c338f7dcbbf.tar.bz2 dotty-d6df293d2120f2247198cb6646a23c338f7dcbbf.zip |
Fix of t1236: higher-kinded
(and also of t0625, which reappeared).
Several fixes were made. In summary:
1. Naming and representation of KigherKinded traits changed. It's now $HigherKinded$NIP where
the letters after the second $ indicate variance (N)egative, (I)nvariant, (P)ositive. The HKtraits
themselves are always non-variant in their parameters.
2. When deriving refined types over higher-kinded types, the variance of a type alias
is the variance of the new type constructor.
3. isSubTypeHK was changed, as was the position from where it is called.
4. appliedTo also works for PolyTypes.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 7885e85ac..361de802c 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -549,6 +549,8 @@ class Namer { typer: Typer => else NoType } val iResType = iInstInfo.finalResultType.asSeenFrom(site, cls) + if (iResType.exists) + typr.println(s"using inherited type; raw: $iRawInfo, inst: $iInstInfo, inherited: $iResType") tp & iResType } } |