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 • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org
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:;
On Thu, 13 Feb 2014, Carter Schonwald wrote:
Caseable? PatternLike?
The reason I went with ConLike originally (apart from not noticing the clash) was that (bidirectional) pattern synonyms can also be used in expressions, so they behave like constructors in both contexts.
ConstructorAble ? (I'm happy to come up with a whole list of candidates).
:-)
On Friday, February 14, 2014, Dr. ERDI Gergo
On Thu, 13 Feb 2014, Carter Schonwald wrote:
Caseable? PatternLike?
The reason I went with ConLike originally (apart from not noticing the clash) was that (bidirectional) pattern synonyms can also be used in expressions, so they behave like constructors in both contexts.
participants (3)
-
Carter Schonwald -
Dr. ERDI Gergo -
Joachim Breitner