diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 10:45:35 +0100 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 14:52:50 +0000 |
| commit | f161e890dfd41fd9735f4e259fffe2ce6d00ec1a (patch) | |
| tree | e6c54b25f3cbb87458dea92c04e23993997e3746 /testsuite/tests/typecheck/should_run/Typeable1.stderr | |
| parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
| download | haskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz | |
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/typecheck/should_run/Typeable1.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_run/Typeable1.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_run/Typeable1.stderr b/testsuite/tests/typecheck/should_run/Typeable1.stderr index 3ded9c03ed..d2488bb575 100644 --- a/testsuite/tests/typecheck/should_run/Typeable1.stderr +++ b/testsuite/tests/typecheck/should_run/Typeable1.stderr @@ -1,8 +1,6 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code] - • Couldn't match type: ComposeK - with: a3 b3 - Inaccessible code in + • Inaccessible code in a pattern with pattern synonym: App :: forall k2 (t :: k2). () => @@ -11,6 +9,8 @@ Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessi TypeRep a -> TypeRep b -> TypeRep t, in a pattern binding in a 'do' block + Couldn't match type: ComposeK + with: a3 b3 • In the pattern: App x y In a stmt of a 'do' block: App x y <- pure x In the expression: |