I agree with Neil on all those points. F.M.E.void has too many things to fix to bring it inline with ignore in one go and a worse name. <br><br><div>+1 on adding ignore though.</div><div><br></div><div>-Edward Kmett</div><div>
<br><div class="gmail_quote">On Thu, Jul 2, 2009 at 2:26 AM, Neil Mitchell <span dir="ltr"><<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
void is the wrong name, wrong type, wrong purpose and wrong module. We<br>
could fix all those things, but I think we should just add ignore as<br>
previously agreed (+1 for that)<br>
<br>
Thanks, Neil<br>
<div><div></div><div class="h5"><br>
On Thu, Jul 2, 2009 at 4:11 AM, Isaac<br>
Dupree<<a href="mailto:ml@isaac.cedarswampstudios.org">ml@isaac.cedarswampstudios.org</a>> wrote:<br>
> Gwern Branwen wrote:<br>
>><br>
>> Since then, Don Stewart has pointed out<br>
>> <a href="http://hackage.haskell.org/trac/ghc/ticket/3292" target="_blank">http://hackage.haskell.org/trac/ghc/ticket/3292</a> that there is a very<br>
>> similar function specified in the FFI standard<br>
>> <a href="http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise5.html#x8-350005.10" target="_blank">http://www.cse.unsw.edu.au/~chak/haskell/ffi/ffi/ffise5.html#x8-350005.10</a><br>
>> - 'void :: IO a -> IO ()'.<br>
><br>
> Are we willing to change (generalize) the type of<br>
> Foreign.Marshal.Error.void? If so, we could export (void :: Functor m => m<br>
> a -> m ()) from both Control.Monad and F.M.E (if we wanted to). If we're<br>
> not willing, then I think it would be a bit more convenient to name them<br>
> different things (so that if you import both modules you don't get a<br>
> name-conflict for using 'void').<br>
><br>
> I vote to just name it Control.Monad.ignore . Many people independently<br>
> invented the name "ignore" in their own projects. Also I suspect the name<br>
> "void" in FFI has some etymology in C's equivalent, casting expressions to<br>
> void (eg: (void)printf(something); ) which I doubt most haskell coders care<br>
> about most of the time?<br>
><br>
> -Isaac<br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>