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