My understanding of these things is limited, but what would stop me,
theoretically speaking, of making a version of ghc with these
primitives added:
type Prompt r
reset :: (Prompt r -> r) -> r
shift :: Prompt r -> ((a -> _) -> r) -> a
(Where _ is either r or forall b. b)
--
Taral <[EMAIL PROTECTED]>
"Please let me know if there's any further trouble I can give you."
-- Unknown
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
