<div dir="ltr">I agree. I would like a warning if I use {-# ANN ... #-} without the language pragma. I clearly meant to write an annotation!</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Nov 6, 2013 at 11:55 AM, Simon Peyton-Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-GB" link="#0563C1" vlink="#954F72">
<div>
<p class="MsoNormal">I’ve just noticed that there is no GHC language extension for annotations<u></u><u></u></p>
<p class="MsoNormal"><a href="http://www.haskell.org/ghc/docs/latest/html/users_guide/extending-ghc.html#annotation-pragmas" target="_blank">http://www.haskell.org/ghc/docs/latest/html/users_guide/extending-ghc.html#annotation-pragmas</a><u></u><u></u></p>


<p class="MsoNormal">That feels like an oversight. Yes, they are in a pragma, but you may get an error message if you compile with a stage-1 compiler, for example.  Plus, the language extensions should truthfully report what extra stuff you are using.<u></u><u></u></p>


<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">I’m inclined to add a language extension “Annotations”.  <u></u>
<u></u></p>
<p><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">        
</span></span></span><u></u>Without it {-# ANN … #-} pragmas are ignored as comments<u></u><u></u></p>
<p><u></u><span style="font-family:Symbol"><span>·<span style="font:7.0pt "Times New Roman"">        
</span></span></span><u></u>With it, they are treated as annotations<u></u><u></u></p>
<p class="MsoNormal">Do you agree?<u></u><u></u></p>
<p class="MsoNormal">I don’t know whether this can (or even should) land in 7.8.1.  Do you care either way?<u></u><u></u></p>
<p class="MsoNormal">Guidance welcome<u></u><u></u></p>
<p class="MsoNormal">Simon<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal" style="margin:0cm;margin-bottom:.0001pt"><i><span lang="EN-US" style="font-size:8.0pt;font-family:"Arial","sans-serif"">Microsoft Research Limited (company number 03369488) is registered in England and Wales
<u></u><u></u></span></i></p>
<p class="MsoNormal" style="margin:0cm;margin-bottom:.0001pt"><i><span lang="EN-US" style="font-size:8.0pt;font-family:"Arial","sans-serif"">Registered office is at 21 Station Road, Cambridge, CB1 2FB</span></i><span><u></u><u></u></span></p>


<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>

<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>