On Tue, Aug 10, 2010 at 6:48 AM, Edward Z. Yang <[email protected]> wrote: > Excerpts from Luke Palmer's message of Tue Aug 10 01:04:04 -0400 2010: >> Except, of course, you want the signature >> >> evalCont :: Cont r a -> a >> >> Which is not possible. But I am not sure where all this discussion is >> coming from, Maybe and (r ->) cannot be broken out of. Isn't that >> example enough? > > I'm confused... that's the type of evalCont, no?
Except that I messed up and "evalCont" doesn't compile. The type would have to be evalCont :: Cont a a -> a _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
