blob: 3f294ca630134177d593adde08b84e794138b3a4 (
plain)
1
2
3
4
5
6
7
8
9
|
T15558.hs:11:15: warning: [GHC-40564] [-Winaccessible-code (in -Wdefault)]
• Inaccessible code in
a type expected by the context:
(a ~ Bool) => ()
Couldn't match type ‘Int’ with ‘Bool’
• In the first argument of ‘MkFoo’, namely ‘()’
In the expression: MkFoo ()
In an equation for ‘f’: f MkT = MkFoo ()
|
