Okay, I submitted it as a GHC feature request. Thanks for the feedback.<div><br><div class="gmail_quote">On Wed, Mar 11, 2009 at 5:16 PM, Creighton Hogg <span dir="ltr">&lt;<a href="mailto:wchogg@gmail.com">wchogg@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">2009/3/11 Peter Verswyvelen &lt;<a href="mailto:bugfact@gmail.com">bugfact@gmail.com</a>&gt;:<br>
<div><div></div><div class="h5">&gt; When I put<br>
&gt; {-# OPTIONS_GHC -Wall -Werror #-}<br>
&gt; in my source file, I don&#39;t get compiler (GHC) warnings about redundant<br>
&gt; language extensions that I enabled.<br>
&gt; It would be nice if the compiler gave warnings about this, since after<br>
&gt; refactoring, some language extensions might not be needed anymore, and hence<br>
&gt; should be removed since fewer language extensions mean more stable and<br>
&gt; portable code no?<br>
&gt; What do you think?<br>
<br>
</div></div>So you mean something like if you put {-# LANGUAGE<br>
GeneralizedNewtypeDeriving #-} in a file, but never do newtype<br>
deriving, it would warn you?<br>
<br>
I have no idea how hard that&#39;d be to implement, but that sounds kind<br>
of cool.  Useful for both refactoring and when you&#39;ve inherited old<br>
code.<br>
<br>
Cheers,<br>
<font color="#888888">C<br>
</font></blockquote></div><br></div>