<div dir="ltr">I have no objection to having the discussion about widening the set of symbols to shave off warts like this in 7.12.<div><br></div><div><div><div>-Edward</div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 31, 2015 at 10:11 AM, Fumiaki Kinoshita <span dir="ltr"><<a href="mailto:fumiexcel@gmail.com" target="_blank">fumiexcel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">I understand the ground. It seems reasonable not to add symbols facilely.<div><br></div><div>But in this case, the "too specialized" version is exported while more fundamental one is not.</div><div>Although folks (including me) use mapM_ mostly today, someday we will like to have traverse_, I guess.</div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">2015-03-31 19:41 GMT+09:00 Edward Kmett <span dir="ltr"><<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">We deliberately took no more symbols than we needed in 7.10 from Prelude as part of the Foldable/Traversable Proposal. There are multiple combinators in Data.Foldable and Data.Traversable that we do not export. traverse_ is one of them as, strictly speaking, traverse_ was a symbol we didn't have to take.<div><br></div><div>If we had would anybody have complained any more loudly? Not sure... but it was a deliberate choice to not bring in any symbols into Prelude that weren't already there that weren't part of the definition of a class or needed to define instances that already existed.</div><div><br></div><div>-Edward</div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div>On Mon, Mar 30, 2015 at 11:33 PM, Fumiaki Kinoshita <span dir="ltr"><<a href="mailto:fumiexcel@gmail.com" target="_blank">fumiexcel@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><div dir="ltr">Well, I see. It'd be nice.<div><br></div><div>That aside, the absence of traverse_ doesn't seem to be intended (even the documentation for mapM_ says "mapM_ is just traverse_"!)<span><br><div class="gmail_extra"><br><div class="gmail_quote">2015-03-30 16:54 GMT+09:00 Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">On 2015-03-30 at 07:05:56 +0200, Fumiaki Kinoshita wrote:<br>
<br>
[...]<br>
<span><br>
> I found out that (<>) (in Data.Monoid) is missing, also. It would be nice<br>
> to reexamine Prelude to export things we want to export.<br>
<br>
</span>Fwiw, (<>) was actually left-out as it wasn't required (it's just a an<br>
alias for `mappend`), *and* to keep our options open (or at least not<br>
make it more difficult) in terms of possible migration-plans available<br>
for the case we'd be moving 'Semigroup' to base/Prelude at some point in<br>
the future.<br>
<br>
</blockquote></div><br></div></span></div></div>
<br></div></div>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>