Yes, though if you add the type signature in Foreign.Marshal.Error then if someone had existing code that looks like:<div><br></div><div>import Foreign.Marshal.Error</div><div>import Control.Monad</div><div><br></div><div>
blah blah void blah</div><div><br></div><div>then it&#39;ll conflict. Left with the more permissive type signature that would just work.<br><br></div><div>-Edward Kmett</div><div><br><div class="gmail_quote">On Fri, Jan 8, 2010 at 10:08 PM, Gwern Branwen <span dir="ltr">&lt;<a href="mailto:gwern0@gmail.com">gwern0@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Fri, Jan 8, 2010 at 9:54 PM, Jeremy Shaw &lt;<a href="mailto:jeremy@n-heptane.com">jeremy@n-heptane.com</a>&gt; wrote:<br>

&gt; Not sure if this came up already, but there is a less general version of<br>
&gt; void in Foreign.Marshal.Error:<br>
&gt;<br>
&gt; <a href="http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.2.0.0/Foreign-Marshal-Error.html#v%3Avoid" target="_blank">http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.2.0.0/Foreign-Marshal-Error.html#v%3Avoid</a><br>

&gt;<br>
&gt; void :: IO a -&gt; IO ()<br>
&gt;     Discard the return value of an IO action<br>
&gt;<br>
&gt; Are there plans to unify the two? Perhaps Foreign.Marshal.Error can just<br>
&gt; re-export void from Control.Monad?<br>
&gt;<br>
&gt; - jeremy<br>
<br>
</div>Don brought it up, and it&#39;s a consideration behind picking the name &#39;void&#39;.<br>
<br>
Re-exporting with the type signature (ie. rewrite it to be void :: IO<br>
a -&gt; IO (); void = Control.Monad.void) is easy and won&#39;t break<br>
anything; it&#39;s something that can be done after Control.Monad.void has<br>
been added. One thing at a time.<br>
<font color="#888888"><br>
--<br>
gwern<br>
</font><div><div></div><div class="h5">_______________________________________________<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>