<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: Arial; font-size: 12pt; color: #000000'><p>Thanks for the feedback! I'll definitely update the documentation. I agree that temp files are a weird way to go about it but they're the least surprising and dangerous way I could think of handling it.</p><p><br></p><p>Unix has /dev/null and Windows has a NUL device that works the same way so I could use those.&nbsp;</p><p>* I could see what OS it is and try those options and use a temp file only if it's an unexpected os. Unfortunately System.Info.os reports windows (and some other os's) as "mingw32", I think it's because of how GHC was compiled. Who knows what the real os is or what each os will be reported as in the future or how they appear to other compilers and runtimes.</p><p>* I could write to /dev/null or NUL if they exist and use a temp file if neither does, but if there's a legitimate /dev/null or NUL file then having some unrelated program write to them would be very very bad and a major pain for whoever has to figure that one out.</p><p><br></p><p>I'd rather not use temp files but both of these seem problematic. Does anyone have a better idea or think that either of those are acceptable?</p><p><br></p><p>Trystan Spangler</p><p><br></p>----- Original Message -----<br>From: "Felipe Almeida Lessa" &lt;felipe.lessa@gmail.com&gt;<br>To: "Trystan Spangler" &lt;trystan.s@comcast.net&gt;<br>Cc: haskell-cafe@haskell.org<br>Sent: Monday, March 7, 2011 3:41:07 AM<br>Subject: Re: [Haskell] ANNOUNCE: silently-0.0.1 (prevent IO actions from writing to stdout)<br><br>Hello!<br><br>I wouldn't expect that a function that ignores the output directs it<br>to a temporary file. &nbsp;I think that should be clearly stated on the<br>documentation, as this may be undesirable. &nbsp;I don't know if there is a<br>better way of solving this problem, though.<br><br>(Note, however, that on Unix systems you could probably direct the<br>output to /dev/null.)<br><br>Cheers,<br><br>-- <br>Felipe.<br></div></body></html>