diff options
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: |