blob: a6f557bee78062165eb6649b29aeb520e516472a (
plain)
1
2
3
4
5
6
7
8
9
10
|
valid_hole_fits_interactions.hs:15:5: warning: [GHC-88464] [-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)
|