18 Sep
2003
18 Sep
'03
7:01 p.m.
In article <20030918091948.GA29877@soi.city.ac.uk>,
Ross Paterson
NHC doesn't have ST (rank-2 types). In Hugs, they are now
newtype IO a = IO ((a -> IOResult) -> IOResult) newtype ST s a = ST (forall r. (a -> r) -> r)
Oh now that's interesting. Presumably in Hugs IO and ST s could be made instances of MonadCont very easily? How does Hugs do fixIO? -- Ashley Yakeley, Seattle WA