Caseable? PatternLike? <span></span><br><br>On Thursday, February 13, 2014, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
while reading some code I noticed that we use the term “ConLike” for two<br>
different things: From Haskell up to the desugarer, this is a data type<br>
to treat data constructors and pattern synonyms together; afterwards, in<br>
the world of Core, ConLike is an attribute of expression (exprIsConLik)<br>
similar to exprIsHNF.<br>
<br>
The former use is newer, introduced by the pattern synonym patch. In the<br>
long run, there is a risk of confusion, maybe we should rename ConLike<br>
module and data type. Any suggestions for a good name?<br>
<br>
Greetings,<br>
Joachim<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
  <a href="javascript:;" onclick="_e(event, 'cvml', 'mail@joachim-breitner.de')">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>

  Jabber: <a href="javascript:;" onclick="_e(event, 'cvml', 'nomeata@joachim-breitner.de')">nomeata@joachim-breitner.de</a>  • GPG-Key: 0x4743206C<br>
  Debian Developer: <a href="javascript:;" onclick="_e(event, 'cvml', 'nomeata@debian.org')">nomeata@debian.org</a><br>
</blockquote>