<div dir="ltr"><div dir="ltr">On Thu, 17 Dec 2020 at 09:21, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io">arnaud.spiwack@tweag.io</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Tue, Dec 15, 2020 at 9:28 PM Simon Marlow <<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">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.</div></blockquote><div> </div><div>I'm not sure what warning is “on by default”, as I always have at least `-Wall` turned on all the time. </div></div></div></blockquote><div><br></div><div>The warnings that are on by default are listed here: <a href="https://downloads.haskell.org/ghc/latest/docs/html/users_guide/using-warnings.html">https://downloads.haskell.org/ghc/latest/docs/html/users_guide/using-warnings.html</a></div><div><br></div><div>(note -Wpartial-type-signatures is included)<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div>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.</div></div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div>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?<br></div></div></div></blockquote><div><br></div><div><div>In the case of partial type signatures  <b>you can't use the feature without generating a warning</b>, which is quite a different matter, I think. It would be even stranger if it was an error!</div><div><br></div><div>Cheers</div><div>Simon</div><div><br></div><div> </div> </div></div></div>