<div dir="ltr">Looks good to me.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 27 February 2018 at 14:19, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Committee,<br>
<br>
this is your secretary speaking:<br>
<br>
As patterns in pattern synonyms, by Richard.<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/94" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>94</a><br>
rendered at<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/blob/as-pattern-synonyms/AsPatternSynonyms.rst" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/blob/<wbr>as-pattern-synonyms/<wbr>AsPatternSynonyms.rst</a><br>
<br>
I’ll shepherd that myself.<br>
<br>
This proposal removes restrictions on what can be used in<br>
unidirectional pattern synonyms, where @-pattern were previously<br>
disallowed. The restriction would make sense if patterns synonyms are<br>
macros, but they are not. I am always in favor of removing special<br>
cases and restrictions, so I recommend to accept this proposal.<br>
<br>
Thanks,<br>
Joachim<br>
<span class="HOEnZb"><font color="#888888">--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.<wbr>de/</a><br>
</font></span><br>______________________________<wbr>_________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@<wbr>haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-<wbr>steering-committee</a><br>
<br></blockquote></div><br></div>