blob: e3223fb7a33d8b511dd28264e35fb468c23c0541 (
plain)
1
2
3
4
5
6
7
8
9
|
T15558.hs:11:15: warning: [-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 ()
|
