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