On Wed, Aug 27, 2008 at 9:50 PM, Ganesh Sittampalam <[EMAIL PROTECTED]> wrote:

> RepoInState could actually be an empty data decl (using a long-established
> GHC extension) since it is a phantom type parameter.

I think Ganesh has convinced me that if we use an empty data decl it's
safe to have RepoInState floating around.

BTW, we were able to reduce (>>>=) to this:
m >>>= k = IORepo $ runIORepo m >>= (runIORepo . k)

Much nicer looking.

Jason
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to