Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
98fa0d36
by Simon Hengel at 2025-11-27T17:54:57-05:00
1 changed file:
Changes:
| ... | ... | @@ -680,7 +680,7 @@ thus: :: |
| 680 | 680 | When doing so, we (optionally) may drop the "``family``" keyword.
|
| 681 | 681 | |
| 682 | 682 | The type parameters must all be type variables, of course, and some (but
|
| 683 | -not necessarily all) of then can be the class parameters. Each class
|
|
| 683 | +not necessarily all) of them can be the class parameters. Each class
|
|
| 684 | 684 | parameter may only be used at most once per associated type, but some
|
| 685 | 685 | may be omitted and they may be in an order other than in the class head.
|
| 686 | 686 | Hence, the following contrived example is admissible: ::
|