On Sun, 17 Dec 2006, David Roundy wrote:
I think the type of return is wrong, it needs to be:
return :: a -> wm w w a
Yes, definitely, and the same with fail (although it's much less of an
issue with fail, for obvious reasons).
No, I deliberately left fail alone. It's like undefined having any type;
fail can be used to plug any gaps caused by runtime impossible situations.
Cheers,
Ganesh
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
