Fix documentation of liftIfHK

odersky · odersky · commit f8aa4b3b56ba · 2016-03-30T09:51:04.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1086,7 +1086,7 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling {`
`1086`	`1086`	`*`
`1087`	`1087`	`* C[type T], D[type U]`
`1088`	`1088`	`*`
`1089`		- * Then do you expand `C & D` to `[T, U] -> C[T, U] & D[T, U]` or not? Under the named
	`1089`	+ * Then do you expand `C & D` to `[T] -> C[T] & D[T]` or not? Under the named
`1090`	`1090`	`* type parameter interpretation, this would be wrong whereas under the traditional`
`1091`	`1091`	`* higher-kinded interpretation this would be required. The problem arises from`
`1092`	`1092`	`* allowing both interpretations. A possible remedy is to be somehow stricter`