<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
"quiet" option for ghci...</font>
<br>
<br></blockquote></div><br>But there is! It's called -v0. <br><br>-Brent<br>