diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T15361.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T15361.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T15361.stderr b/testsuite/tests/typecheck/should_fail/T15361.stderr index 1520bc3982..b4692064f3 100644 --- a/testsuite/tests/typecheck/should_fail/T15361.stderr +++ b/testsuite/tests/typecheck/should_fail/T15361.stderr @@ -1,6 +1,6 @@ T15361.hs:13:13: error: - • Could not deduce: a ~ c + • Could not deduce (a ~ c) from the context: b ~ a bound by a pattern with constructor: HRefl :: forall {k1} (a :: k1). a :~~: a, |