Global variables

Ashley Yakeley ashley@semantic.org
Thu, 29 Nov 2001 11:18:21 -0800


At 2001-11-29 11:13, Ashley Yakeley wrote:

>Lifted monads look something like this:
>
>     data MyAction a = MkMyAction ((consts,vars) -> (vars,a));
>     instance Monad MyAction where etc.

Whoops, should be

     data MyAction a = MkMyAction ((consts,vars) -> IO (vars,a));


-- 
Ashley Yakeley, Seattle WA