diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr b/testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr index 82c78654f7..3641e4b39d 100644 --- a/testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr +++ b/testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr @@ -1,16 +1,16 @@ -TyAppPat_NonlinearMultiPat.hs:10:19: error: +TyAppPat_NonlinearMultiPat.hs:10:19: error: [GHC-69710] Type variable ‘a’ is already in scope. Type applications in patterns must bind fresh variables, without shadowing. -TyAppPat_NonlinearMultiPat.hs:11:18: error: +TyAppPat_NonlinearMultiPat.hs:11:18: error: [GHC-69710] Type variable ‘a’ is already in scope. Type applications in patterns must bind fresh variables, without shadowing. -TyAppPat_NonlinearMultiPat.hs:12:19: error: +TyAppPat_NonlinearMultiPat.hs:12:19: error: [GHC-69710] Type variable ‘a’ is already in scope. Type applications in patterns must bind fresh variables, without shadowing. -TyAppPat_NonlinearMultiPat.hs:13:18: error: +TyAppPat_NonlinearMultiPat.hs:13:18: error: [GHC-69710] Type variable ‘a’ is already in scope. Type applications in patterns must bind fresh variables, without shadowing. |