30 Aug
2008
30 Aug
'08
1:53 a.m.
Bryan O'Sullivan wrote:
I haven't seen a coherent description of what the semantics of top-level "<-" should be, but avoidance of widespread swearing would be at the top of my list of requirements.
Don't the ACIO monad properties satisfy you? Anyway, as I pointed out in my last post, if this is a problem with top level <- ACIO monad bindings it's still going to be a problem (probably much worse) with unsafePerformIO hack IO monad bindings. This problem isn't just going to go away, no matter how long it's ignored :-) Regards -- Adrian Hey