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