Simon,

I discovered that the following example also won't parse in ghc-6.12.1
because of the infix 'MayOpen' constraint:

with ∷ (Resource resource, MonadCatchIO pr)
     ⇒ resource
     → (∀ s. s `MayOpen` resource ⇒ RegionalHandle resource (RegionT s
pr) → RegionT s pr α)
     → pr α

Is this also fixed by your previous patch?

regards,

Bas
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to