You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/polymorphic-eta-expansion.md
+5-5Lines changed: 5 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -342,8 +342,8 @@ If `ms` contains exactly one variant, then it is expanded as follows:
342
342
`m` has to contain at least one explicit term clause before the return type or the next type clause.
343
343
<details>
344
344
<summary>Note</summary>
345
-
Since the only way to create multiple type clause is with extention methods, and since they force an explicit clause, this condition is currently equivalent to "`m` contains explicit term parameters".
346
-
The stricter wording was chosen to already accomodate[SIP-47 - Clause Interleaving](https://github.com/scala/improvement-proposals/pull/47).
345
+
Since the only way to create multiple type clause is with extension methods, and since they force an explicit clause, this condition is currently equivalent to "`m` contains explicit term parameters".
346
+
The stricter wording was chosen to already accommodate[SIP-47 - Clause Interleaving](https://github.com/scala/improvement-proposals/pull/47).
347
347
</details>
348
348
349
349
If `m` doesn't satisfy the above condition, go to [Default](#Default), otherwise:
@@ -417,8 +417,8 @@ While these examples might seem damming, this is the case every time we change t
417
417
Not included in this proposal are:
418
418
419
419
* Expanding `[T] => T => T` to `[T] => T => Id[T]` to make `tuple.map(identity)` work (might work out of the box anyways, but not guaranteed)
420
-
* Expanding `x => x` to `[T] => (x: T) => x` if necessary (and generalisations)
421
-
* Expanding `_` to `[T] => (x: T) => x` if necessary (and generalisations)
420
+
* Expanding `x => x` to `[T] => (x: T) => x` if necessary (and generalizations)
421
+
* Expanding `_` to `[T] => (x: T) => x` if necessary (and generalizations)
422
422
* Polymorphic SAM conversion
423
423
* Polymorphic functions from wildcard: `foo[_](_)`
424
424
@@ -475,7 +475,7 @@ No other alternatives have been imagined, the similarity between this proposal a
* A naive implementation can be found at https://github.com/lampepfl/dotty/pull/14015 (it is more general than this proposal and thus breaks compatibility)
478
-
* A compatibility-preserving implementation is in developement.
478
+
* A compatibility-preserving implementation is in development.
0 commit comments