compiler change

Christian Maeder maeder at tzi.de
Thu Sep 21 06:50:28 EDT 2006


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


More information about the Glasgow-haskell-users mailing list