<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 6 Feb 2019 at 02:14, Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;"><br><div><blockquote type="cite"><div>On Feb 5, 2019, at 7:11 PM, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">eric@seidel.io</a>> wrote:</div><br class="gmail-m_-4438092734275391240Apple-interchange-newline"><div><span style="font-family:Menlo-Regular;font-size:11px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">My main concern is that I'd like us to be consistent in how we disambiguate namespaces. If we want to use `data`, we should use it everywhere (synonyms are fine by me as long as they are also consistent). This would means we'd need to revise the fixity proposal I linked to above.<span class="gmail-m_-4438092734275391240Apple-converted-space"> </span></span></div></blockquote></div><br><div>Yes, I should have included this in my email. If we decide to go in this direction, I would want to be consistent. This would include updating the fixity proposal (which is, I believe, still unimplemented) and expanding -XExplicitNamespaces to include `data`. Eventually, we would deprecate the use of `pattern` in import/export lists and then remove that feature. I suppose all this would necessitate yet another proposal.... but I do think the wider community (not just this list) should weigh in. However, before doing so, I'd be curious for more feedback from this group as a test-bed.</div></div></blockquote><div><br></div><div>I'm in favour of that. Joachim's point about the potential confusion with "data Bool = ..." is valid, but I think on balance using "data" is less confusing than the alternatives.<br></div><div><br></div><div>Cheers</div><div>Simon</div><div><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 style="overflow-wrap: break-word;"><div><br></div><div>Richard</div></div>_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@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-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div></div>