Commit ade5319b authored by Ross Paterson's avatar Ross Paterson

update T5045 for new typing of arrow forms

parent 44129f01
......@@ -6,7 +6,7 @@ module T5045 where
import Control.Arrow
class (Control.Arrow.Arrow a') => ArrowAddReader r a a' | a -> a' where
elimReader :: a e b -> a' (e, r) b
elimReader :: a (e, s) b -> a' (e, (r, s)) b
newtype ByteString = FakeByteString String
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment