21 Sep
2006
21 Sep
'06
6:50 a.m.
Bulat Ziganshin schrieb:
may be explicit foralls would help?
mkSimpleFallOut :: (ObjectID,IO a -> IO (Either String a))
try mkSimpleFallOut :: (ObjectID, forall a. IO a -> IO (Either String a))
yes this variant works!
newFallOut :: IO (ObjectID, IO a -> IO (Either String a))
together with: newFallOut :: IO (ObjectID, forall a. IO a -> IO (Either String a)) but fails with ghc-6.4.2: parse error on input `forall' (column 30) Christian