<div class="gmail_quote">On Fri, Sep 17, 2010 at 1:48 PM, Ross Paterson <span dir="ltr"><<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On Fri, Sep 17, 2010 at 01:18:47PM +0200, Johan Tibell wrote:<br>
> Could you please add an "Open Issues" section where you keep track on any open<br>
> issues/objections raised so far (a short summary is enough), to make sure that<br>
> we deal with them all and to avoid them being rehashed<br>
<br>
</div>I've added an "Issues raised" section.<br>
<div class="im"></div></blockquote><div><br>Thanks!<br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="im">
> 2. More complicated type signatures due to using a monad transformer to define<br>
> base monads.<br>
<br>
</div>I'm not sure what you mean here: do you mean inferred types?<br></blockquote><div><br>Right, what GHC spits back at you if you have a type error. I'm not sure if it's an important issue. I believe GHC tries to use the type synonyms in the error messages.<br>
<br>-- Johan<br> <br></div></div>