<br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br><font face="sans-serif" size="2">this works. now if only there were a
&quot;quiet&quot; option for ghci...</font>
<br>
<br></blockquote></div><br>But there is!&nbsp; It&#39;s called -v0. <br><br>-Brent<br>