Caseable? PatternLike?
On Thursday, February 13, 2014, Joachim Breitner
Hi,
while reading some code I noticed that we use the term “ConLike” for two different things: From Haskell up to the desugarer, this is a data type to treat data constructors and pattern synonyms together; afterwards, in the world of Core, ConLike is an attribute of expression (exprIsConLik) similar to exprIsHNF.
The former use is newer, introduced by the pattern synonym patch. In the long run, there is a risk of confusion, maybe we should rename ConLike module and data type. Any suggestions for a good name?
Greetings, Joachim
-- Joachim “nomeata” Breitner mail@joachim-breitner.de javascript:; • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de javascript:; • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org javascript:;