Global variables

[Ashley Yakeley]

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