blob: 1fb78b2175cd0e76a54626b44deb9c6d60777c33 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
DRFHoleFits.hs:7:7: error: [GHC-88464]
• Found hole: _ :: T -> Int
• In the expression: _ :: T -> Int
In an equation for ‘bar’: bar = _ :: T -> Int
• Relevant bindings include
bar :: T -> Int (bound at DRFHoleFits.hs:7:1)
Valid hole fits include
foo :: T -> Int (defined at DRFHoleFits.hs:5:16)
bar :: T -> Int (defined at DRFHoleFits.hs:7:1)
DRFHoleFits.hs:8:7: error: [GHC-88464]
• Found hole: _ :: A.S -> Int
• In the expression: _ :: A.S -> Int
In an equation for ‘baz’: baz = _ :: A.S -> Int
• Relevant bindings include
baz :: A.S -> Int (bound at DRFHoleFits.hs:8:1)
Valid hole fits include
baz :: A.S -> Int (defined at DRFHoleFits.hs:8:1)
A.foo :: A.S -> Int
(imported qualified from ‘DRFHoleFits_A’ at DRFHoleFits.hs:3:1-35
(and originally defined at DRFHoleFits_A.hs:5:16-18))
|
