20 Jul
2011
20 Jul
'11
10:18 p.m.
On Jul 20, 2011, at 5:58 PM, Thomas wrote:
class Continuation a where resume :: a -> Expression -> Expression
data BeginCont a = BeginCont a Expression deriving (Show) instance (Continuation a) => Continuation (BeginCont a) where resume (BeginCont k es) v = eval_begin es k
I think we need to know the definition of Expression. if define it with a dummy type eval_begin a b = a type Expression = Int this code fragment compiles. Would you send a code fragment that will yield the error? ____________________ David Place Owner, Panpipes Ho! LLC http://panpipesho.com d@vidplace.com