77d26041c3cf6a7c37261bda109383dfd2987cef
[ghc.git] / testsuite / tests / typecheck / should_run / Typeable1.stderr
1
2 Typeable1.hs:22:5: error: [-Winaccessible-code (in -Wdefault), -Werror=inaccessible-code]
3     • Couldn't match type ‘ComposeK’ with ‘a3 b3’
4       Inaccessible code in
5         a pattern with pattern synonym:
6           App :: forall k2 (t :: k2).
7                  () =>
8                  forall k1 (a :: k1 -> k2) (b :: k1).
9                  (t ~ a b) =>
10                  TypeRep a -> TypeRep b -> TypeRep t,
11         in a pattern binding in
12              'do' block
13     • In the pattern: App x y
14       In a stmt of a 'do' block: App x y <- pure x
15       In the expression:
16         do let x :: ComposeK Maybe Maybe Int
17                x = undefined
18            App x y <- pure $ typeOf x
19            print (x, y)
20            App x y <- pure x
21            ....
22     • Relevant bindings include
23         y :: TypeRep b2 (bound at Typeable1.hs:19:11)
24         x :: TypeRep a2 (bound at Typeable1.hs:19:9)