diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-03-25 21:18:49 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-03-30 09:51:04 +0200 |
| commit | f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447 (patch) | |
| tree | 743a7ab916470b3e30d7bbb9e35b61f8009c0557 /src/dotty/tools/dotc/core/TypeComparer.scala | |
| parent | 2474c1bd32258a76ccecf31c4dad463448bcf822 (diff) | |
| download | dotty-f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447.tar.gz dotty-f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447.tar.bz2 dotty-f8aa4b3b56bae1cb0bf0f94a2f2b80b4443aa447.zip | |
Fix documentation of liftIfHK
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 833adf008..c5321572c 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -1086,7 +1086,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { * * C[type T], D[type U] * - * Then do you expand `C & D` to `[T, U] -> C[T, U] & D[T, U]` or not? Under the named + * Then do you expand `C & D` to `[T] -> C[T] & D[T]` or not? Under the named * type parameter interpretation, this would be wrong whereas under the traditional * higher-kinded interpretation this would be required. The problem arises from * allowing both interpretations. A possible remedy is to be somehow stricter |