blob: 02b50eb640be89f8459888a99623964467289117 (
plain)
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
|
T14343.hs:10:9: error:
• Found hole: _ :: Proxy '[ 'True]
• In the expression: _ :: Proxy '[ 'True]
In an equation for ‘test1’: test1 = _ :: Proxy '[ 'True]
• Relevant bindings include
test1 :: Proxy '[ 'True] (bound at T14343.hs:10:1)
Valid hole fits include
test1 :: Proxy '[ 'True] (defined at T14343.hs:10:1)
Proxy :: forall {k1} (k2 :: k1). Proxy k2
with Proxy @'[ 'True]
(defined at T14343.hs:8:16)
T14343.hs:11:9: error:
• Found hole: _ :: Proxy '[ '[1]]
• In the expression: _ :: Proxy '[ '[1]]
In an equation for ‘test2’: test2 = _ :: Proxy '[ '[1]]
• Relevant bindings include
test2 :: Proxy '[ '[1]] (bound at T14343.hs:11:1)
Valid hole fits include
test2 :: Proxy '[ '[1]] (defined at T14343.hs:11:1)
Proxy :: forall {k1} (k2 :: k1). Proxy k2
with Proxy @'[ '[1]]
(defined at T14343.hs:8:16)
T14343.hs:12:9: error:
• Found hole: _ :: Proxy '[ '("Symbol", 1)]
• In the expression: _ :: Proxy '[ '("Symbol", 1)]
In an equation for ‘test3’: test3 = _ :: Proxy '[ '("Symbol", 1)]
• Relevant bindings include
test3 :: Proxy '[ '("Symbol", 1)] (bound at T14343.hs:12:1)
Valid hole fits include
test3 :: Proxy '[ '("Symbol", 1)] (defined at T14343.hs:12:1)
Proxy :: forall {k1} (k2 :: k1). Proxy k2
with Proxy @'[ '("Symbol", 1)]
(defined at T14343.hs:8:16)
|
