Smarter HsType pretty-print for promoted datacons
[ghc.git] / testsuite / tests / typecheck / should_fail / T14607.stderr
1
2 T14607.hs:22:9: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Expecting one more argument to ‘LamCons a '()’
4       Expected a type, but ‘LamCons a '()’ has kind ‘() -> *’
5     • In the type signature: mk :: LamCons a '()
6       In the instance declaration for ‘Mk a’
7
8 T14607.hs:22:19: warning: [-Wdeferred-type-errors (in -Wdefault)]
9     • Expected a type, but ‘'()’ has kind ‘()’
10     • In the second argument of ‘LamCons’, namely ‘'()’
11       In the type signature: mk :: LamCons a '()
12       In the instance declaration for ‘Mk a’
13
14 T14607.hs:23:8: warning: [-Wdeferred-type-errors (in -Wdefault)]
15     • Couldn't match expected type ‘LamCons a '()’
16                   with actual type ‘LamCons a0 a0 '()’
17     • In the expression: mk
18       In an equation for ‘mk’: mk = mk
19       In the instance declaration for ‘Mk a’
20     • Relevant bindings include
21         mk :: LamCons a '() (bound at T14607.hs:23:3)