17 Dec
2020
17 Dec
'20
4:21 a.m.
On Tue, Dec 15, 2020 at 9:28 PM Simon Marlow
It would be slightly strange to have a language feature that is enabled by default but generates a warning every time you use it. I'd rather the warning was disabled by default, but I agree that PartialTypeSignatures should be on.
I'm not sure what warning is “on by default”, as I always have at least `-Wall` turned on all the time. But isn't every instance of a warning a case of “a feature that is enabled by default but generates a warning”? Name shadowing is one such. So is incomplete pattern matching. What I mean, I guess, is that every warning could be an error if we so desired, couldn't they? What's special about this one?