21 Nov
2013
21 Nov
'13
2:30 p.m.
Hi, Am Mittwoch, den 20.11.2013, 16:40 +0900 schrieb Akio Takano:
Currently mapMaybe does not fuse at all. The attached patch implements necessary rules for fold/build fusion in both sides (the result and the second argument) to happen. When fusion does not happen, the function should behave exactly the same as before.
+1. Also, the code seems to be correct (at least quickcheck tells me so). Thanks for the contribution, 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