<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I'm going to submit a ticket for this. However, I have a related question:<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Do you care about mapM_? Right now it's defined as:<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">    mapM_ f = foldr ((>>) . f) (return ())<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">whereas it could be:<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">    mapM_ = traverse_<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Does this not affect you in the same way (because (>>) allows the same optimization as Applicative)? Or does this also need to be addressed?<br><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">-- Dan<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 11, 2015 at 3:15 PM, Simon Marlow <span dir="ltr"><<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I was hoping that in GHC 7.10 we would make mapM = traverse for lists, but it appears this isn't the case: the Traversable instance for lists overrides mapM to be the manually-defined version in terms of foldr.<br>
<br>
Why is this?  Fusion?<br>
<br>
Unfortunately since I want mapM = traverse (for Haxl) I'll need to continue to redefine it in our custom Prelude.<br>
<br>
Cheers,<br>
Simon<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>