diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr b/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr index 2efb51a5c1..a271bc6b42 100644 --- a/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr +++ b/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr @@ -1,5 +1,5 @@ -TyAppPat_ExistentialEscape.hs:10:20: error: +TyAppPat_ExistentialEscape.hs:10:20: error: [GHC-25897] • Couldn't match expected type ‘p’ with actual type ‘a’ ‘a’ is a rigid type variable bound by a pattern with constructor: Some :: forall a. a -> Some, |