blob: 90f7943f092ec4583a8fa2e6d93b735cc60bd0dc (
plain)
1
2
3
4
5
6
7
8
9
10
|
valid_hole_fits_interactions.hs:15:5: warning: [-Wtyped-holes (in -Wdefault)]
• Found hole: _ :: SBool 'True
• In an equation for ‘f’: f = _
• Relevant bindings include
f :: SBool 'True (bound at valid_hole_fits_interactions.hs:15:1)
Valid hole fits include
f :: SBool 'True (bound at valid_hole_fits_interactions.hs:15:1)
STrue :: SBool 'True
(defined at valid_hole_fits_interactions.hs:12:3)
|