On 2/22/08, Taral <[EMAIL PROTECTED]> wrote: > shift :: Prompt r -> ((a -> _) -> r) -> a > > (Where _ is either r or forall b. b)
It occurs to me that _ has to be r, otherwise the subcontinuation can escape.
--
Taral <[EMAIL PROTECTED]>
"Please let me know if there's any further trouble I can give you."
-- Unknown
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
