Sasha Bogicevic pushed to branch wip/21101 at Glasgow Haskell Compiler / GHC
Commits:
-
7314b405
by Sasha Bogicevic at 2026-07-19T17:46:57+00:00
1 changed file:
Changes:
| ... | ... | @@ -825,9 +825,6 @@ data TcRnMessage where |
| 825 | 825 | worded accordingly. Constructors with no fields at all do not trigger
|
| 826 | 826 | this error: since GHC proposal 496 ("Nullary record wildcards"),
|
| 827 | 827 | @C {..}@ is legal for nullary constructors.
|
| 828 | - The 'VisArity' field records the constructor's number of positional arguments
|
|
| 829 | - which the suggested fix mentions.
|
|
| 830 | - |
|
| 831 | 828 | Example(s):
|
| 832 | 829 | |
| 833 | 830 | data D = D Int Bool
|
| ... | ... | @@ -845,7 +842,11 @@ data TcRnMessage where |
| 845 | 842 | rename/should_fail/T9815bghci.hs
|
| 846 | 843 | rename/should_fail/T21101.hs
|
| 847 | 844 | -}
|
| 848 | - TcRnIllegalWildcardsInConstructor :: !RecordFieldPart -> !Name -> !VisArity -> TcRnMessage
|
|
| 845 | + TcRnIllegalWildcardsInConstructor
|
|
| 846 | + :: !RecordFieldPart -- ^ context in which the constructor application occurs
|
|
| 847 | + -> !Name -- ^ name of the constructor
|
|
| 848 | + -> !VisArity -- ^ arity of the constructor
|
|
| 849 | + -> TcRnMessage
|
|
| 849 | 850 | |
| 850 | 851 | {-| TcRnIgnoringAnnotations is a warning that occurs when the source code
|
| 851 | 852 | contains annotation pragmas but the platform in use does not support an
|