Caseable? PatternLike? On Thursday, February 13, 2014, Joachim Breitner <[email protected]> wrote:
> 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 > [email protected] <javascript:;> • > http://www.joachim-breitner.de/ > Jabber: [email protected] <javascript:;> • GPG-Key: > 0x4743206C > Debian Developer: [email protected] <javascript:;> >
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
