diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr index 5ba9df0d1a..16078fd7fc 100644 --- a/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr +++ b/testsuite/tests/indexed-types/should_compile/PushedInAsGivens.stderr @@ -1,6 +1,6 @@ PushedInAsGivens.hs:10:31: error: - • Could not deduce: a1 ~ a + • Could not deduce (a1 ~ a) from the context: F Int ~ [a1] bound by the type signature for: foo :: forall a1. (F Int ~ [a1]) => a1 -> Int |