Overlapping names in GHC: ConLike

Carter Schonwald carter.schonwald at gmail.com
Thu Feb 13 16:48:25 UTC 2014

Caseable? PatternLike?

On Thursday, February 13, 2014, Joachim Breitner <mail at joachim-breitner.de>

> 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 at joachim-breitner.de <javascript:;> •
> http://www.joachim-breitner.de/
>   Jabber: nomeata at joachim-breitner.de <javascript:;>  • GPG-Key:
> 0x4743206C
>   Debian Developer: nomeata at debian.org <javascript:;>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140213/e28332b8/attachment.html>

More information about the ghc-devs mailing list