Update documentation

nicolasstucki · nicolasstucki · commit f7f61c088d41 · 2023-01-09T11:29:03.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/transform/BetaReduce.scala b/compiler/src/dotty/tools/dotc/transform/BetaReduce.scala
@@ -13,13 +13,14 @@ import scala.collection.mutable.ListBuffer
 
 /** Rewrite an application
  *
- *    (((x1, ..., xn) => b): T)(y1, ..., yn)
+ *    (([X1, ..., Xm] => (x1, ..., xn) => b): T)[T1, ..., Tm](y1, ..., yn)
  *
  *  where
  *
  *    - all yi are pure references without a prefix
  *    - the closure can also be contextual or erased, but cannot be a SAM type
- *    _ the type ascription ...: T is optional
+ *    - the type parameters Xi and type arguments Ti are optional
+ *    - the type ascription ...: T is optional
  *
  *  to
  *

Original file line number	Diff line number	Diff line change
`@@ -13,13 +13,14 @@ import scala.collection.mutable.ListBuffer`
`13`	`13`
`14`	`14`	`/** Rewrite an application`
`15`	`15`	`*`
`16`		`- * (((x1, ..., xn) => b): T)(y1, ..., yn)`
	`16`	`+ * (([X1, ..., Xm] => (x1, ..., xn) => b): T)[T1, ..., Tm](y1, ..., yn)`
`17`	`17`	`*`
`18`	`18`	`* where`
`19`	`19`	`*`
`20`	`20`	`* - all yi are pure references without a prefix`
`21`	`21`	`* - the closure can also be contextual or erased, but cannot be a SAM type`
`22`		`- * _ the type ascription ...: T is optional`
	`22`	`+ * - the type parameters Xi and type arguments Ti are optional`
	`23`	`+ * - the type ascription ...: T is optional`
`23`	`24`	`*`
`24`	`25`	`* to`
`25`	`26`	`*`