Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add forgotten stderr output for T5498

  • Loading branch information...
commit 998a816ae89c4fd573f4abd7c6abb346cf7ee9af 1 parent b662393
@nomeata nomeata authored
Showing with 11 additions and 1 deletion.
  1. +11 −1 tests/deriving/should_fail/T5498.stderr
View
12 tests/deriving/should_fail/T5498.stderr
@@ -1 +1,11 @@
-
+
+T5498.hs:30:39:
+ 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))
Please sign in to comment.
Something went wrong with that request. Please try again.