diff options
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/ado/T13242a.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T7786.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_run/Typeable1.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ado/T13242a.stderr b/testsuite/tests/ado/T13242a.stderr index a8e6495ed2..f31307df50 100644 --- a/testsuite/tests/ado/T13242a.stderr +++ b/testsuite/tests/ado/T13242a.stderr @@ -4,7 +4,7 @@ T13242a.hs:10:5: error: ‘a’ is a rigid type variable bound by a pattern with constructor: A :: forall a. Eq a => a -> T, in a pattern binding in - 'do' block + a 'do' block at T13242a.hs:10:3-5 • In the expression: do A x <- undefined diff --git a/testsuite/tests/indexed-types/should_fail/T7786.stderr b/testsuite/tests/indexed-types/should_fail/T7786.stderr index af9ca89b7e..a82a1ca2f7 100644 --- a/testsuite/tests/indexed-types/should_fail/T7786.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7786.stderr @@ -30,7 +30,7 @@ T7786.hs:97:31: error: from the context: xxx ~ 'Empty bound by a pattern with constructor: Nil :: forall a. Sing 'Empty, in a pattern binding in - 'do' block + a 'do' block at T7786.hs:96:22-24 • In the second argument of ‘($)’, namely ‘Sub db k sub’ In a stmt of a 'do' block: return $ Sub db k sub diff --git a/testsuite/tests/typecheck/should_run/Typeable1.stderr b/testsuite/tests/typecheck/should_run/Typeable1.stderr index 77d26041c3..ec16681592 100644 --- a/testsuite/tests/typecheck/should_run/Typeable1.stderr +++ b/testsuite/tests/typecheck/should_run/Typeable1.stderr @@ -9,7 +9,7 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessi (t ~ a b) => TypeRep a -> TypeRep b -> TypeRep t, in a pattern binding in - 'do' block + a 'do' block • In the pattern: App x y In a stmt of a 'do' block: App x y <- pure x In the expression: |