diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-19 13:04:39 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:09:55 +0200 |
commit | 965e7e368bcf7346b28ef19f694be502e76a1ca3 (patch) | |
tree | 68882c4bb01b98b484061cab6c35de2915e14a8b /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | 83ae926dad0caf945a8633b39b557567415b2bbe (diff) | |
download | dotty-965e7e368bcf7346b28ef19f694be502e76a1ca3.tar.gz dotty-965e7e368bcf7346b28ef19f694be502e76a1ca3.tar.bz2 dotty-965e7e368bcf7346b28ef19f694be502e76a1ca3.zip |
Project all high-kinded types with #Apply
Used to be just instantiated lambdas. With the new scheme
every type with a kind higher than * needs to be projected
with #Apply.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 2a9dbd09c..77c6805f0 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -21,7 +21,7 @@ trait TypeOps { this: Context => // TODO: Make standalone object. * class C { type T; def f(x: T): T } * * and an expression `e` of type `C`. Then computing the type of `e.f` leads - * to the query asSeenFrom(`C`, `(x: T)T`). What should it's result be? The + * to the query asSeenFrom(`C`, `(x: T)T`). What should its result be? The * naive answer `(x: C.T)C.T` is incorrect given that we treat `C.T` as the existential * `exists(c: C)c.T`. What we need to do instead is to skolemize the existential. So * the answer would be `(x: c.T)c.T` for some (unknown) value `c` of type `C`. |