1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
T14343b.hs:10:9: error:
• Found hole: _ :: Proxy '( 'True, 'False)
• In the expression: _ :: Proxy '( 'True, 'False)
In an equation for ‘test1’: test1 = _ :: Proxy '( 'True, 'False)
• Relevant bindings include
test1 :: Proxy '( 'True, 'False) (bound at T14343b.hs:10:1)
Valid hole fits include
test1 :: Proxy '( 'True, 'False) (defined at T14343b.hs:10:1)
Proxy :: forall k1 (k2 :: k1). Proxy k2
with Proxy @(Bool, Bool) @'( 'True, 'False)
(defined at T14343b.hs:8:16)
T14343b.hs:11:9: error:
• Found hole: _ :: Proxy '( '( 'True, 'False), 'False)
• In the expression: _ :: Proxy '('( 'True, 'False), 'False)
In an equation for ‘test2’:
test2 = _ :: Proxy '('( 'True, 'False), 'False)
• Relevant bindings include
test2 :: Proxy '( '( 'True, 'False), 'False)
(bound at T14343b.hs:11:1)
Valid hole fits include
test2 :: Proxy '( '( 'True, 'False), 'False)
(defined at T14343b.hs:11:1)
Proxy :: forall k1 (k2 :: k1). Proxy k2
with Proxy @((Bool, Bool), Bool) @'( '( 'True, 'False), 'False)
(defined at T14343b.hs:8:16)
T14343b.hs:12:9: error:
• Found hole: _ :: Proxy '( '[1], 'False)
• In the expression: _ :: Proxy '('[1], 'False)
In an equation for ‘test3’: test3 = _ :: Proxy '('[1], 'False)
• Relevant bindings include
test3 :: Proxy '( '[1], 'False) (bound at T14343b.hs:12:1)
Valid hole fits include
test3 :: Proxy '( '[1], 'False) (defined at T14343b.hs:12:1)
Proxy :: forall k1 (k2 :: k1). Proxy k2
with Proxy @([GHC.Types.Nat], Bool) @'( '[1], 'False)
(defined at T14343b.hs:8:16)
|
