diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T16512b.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T16512b.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T16512b.stderr b/testsuite/tests/typecheck/should_fail/T16512b.stderr index 649957c43d..f519938636 100644 --- a/testsuite/tests/typecheck/should_fail/T16512b.stderr +++ b/testsuite/tests/typecheck/should_fail/T16512b.stderr @@ -2,8 +2,8 @@ T16512b.hs:6:3: error: • Type family equation violates the family's injectivity annotation. Type variable ‘a’ cannot be inferred from the right-hand side. - Using UndecidableInstances might help In the type family equation: G [a] = [G a] -- Defined at T16512b.hs:6:3 • In the equations for closed type family ‘G’ In the type family declaration for ‘G’ + Suggested fix: Perhaps you intended to use UndecidableInstances |