<div dir="ltr"><br><br><div class="gmail_quote">On Fri, Aug 29, 2008 at 8:50 AM, David House <span dir="ltr"><<a href="mailto:dmhouse@gmail.com">dmhouse@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
2008/8/29 Philip Weaver <<a href="mailto:philip.weaver@gmail.com">philip.weaver@gmail.com</a>>:<br>
<div class="Ih2E3d">> It sounds like you tried to redefine (>>) and (>>=) and make 'do' use the<br>
> new definitions. This is not possible, regardless of what types you give<br>
> (>>) and (>>=).<br>
<br>
</div>Watch out for rebindable syntax:<br>
<a href="http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#rebindable-syntax" target="_blank">http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#rebindable-syntax</a><br>
</blockquote><div><br><br>
Oh, I had no idea! Thanks :).<br> <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>
At first reading, I thought that -XNoImplicitPrelude was required to<br>
turn this on. But now I'm not sure: it seems that if you hide<br>
Prelude.>>= and Prelude.return, that ought to be enough to make do<br>
notation work with your alternative definitions. I'm not at home, so I<br>
can't try this right now.<br>
</blockquote><div> <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>
--<br>
<font color="#888888">-David<br>
</font></blockquote></div><br></div>