diff options
Diffstat (limited to 'testsuite/tests/printer/T14343b.stderr')
-rw-r--r-- | testsuite/tests/printer/T14343b.stderr | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/testsuite/tests/printer/T14343b.stderr b/testsuite/tests/printer/T14343b.stderr new file mode 100644 index 0000000000..1954f9465a --- /dev/null +++ b/testsuite/tests/printer/T14343b.stderr @@ -0,0 +1,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) |