Commit ad233cf6 authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Add forgotten stderr output for T5498

parent d154b7be
\ No newline at end of file
Could not coerce from ‛c a’ to ‛c (Down a)’
because ‛c a’ and ‛c (Down a)’ are different types.
arising from the coercion of the method ‛intIso’ from type
‛forall (c :: * -> *). c a -> c Int’ to type
‛forall (c :: * -> *). c (Down a) -> c Int’
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
When deriving the instance for (IntIso (Down a))
Supports Markdown
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