diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T15039d.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T15039d.stderr | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T15039d.stderr b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr new file mode 100644 index 0000000000..7a0f4acf26 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_compile/T15039d.stderr @@ -0,0 +1,59 @@ + +T15039d.hs:19:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Dict ((a :: *) ~ (b :: *))’ + Where: ‘a’, ‘b’ are rigid type variables bound by + the type signature for: + ex1 :: forall a b. Dict ((a :: *) ~ (b :: *)) -> () + at T15039d.hs:18:1-45 + • In a pattern type signature: _ + In the pattern: Dict :: _ + In an equation for ‘ex1’: ex1 (Dict :: _) = () + • Relevant bindings include + ex1 :: Dict ((a :: *) ~ (b :: *)) -> () (bound at T15039d.hs:19:1) + +T15039d.hs:22:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ + standing for ‘Dict ((a :: *) ~~ (b :: *))’ + Where: ‘a’, ‘b’ are rigid type variables bound by + the type signature for: + ex2 :: forall a b. Dict ((a :: *) ~~ (b :: *)) -> () + at T15039d.hs:21:1-46 + • In a pattern type signature: _ + In the pattern: Dict :: _ + In an equation for ‘ex2’: ex2 (Dict :: _) = () + • Relevant bindings include + ex2 :: Dict ((a :: *) ~~ (b :: *)) -> () (bound at T15039d.hs:22:1) + +T15039d.hs:25:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ + standing for ‘Dict ((a :: *) ~~ (b :: k))’ + Where: ‘a’, ‘b’, ‘k’ are rigid type variables bound by + the type signature for: + ex3 :: forall k a (b :: k). Dict ((a :: *) ~~ (b :: k)) -> () + at T15039d.hs:24:1-43 + • In a pattern type signature: _ + In the pattern: Dict :: _ + In an equation for ‘ex3’: ex3 (Dict :: _) = () + • Relevant bindings include + ex3 :: Dict ((a :: *) ~~ (b :: k)) -> () (bound at T15039d.hs:25:1) + +T15039d.hs:33:14: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘Dict (Coercible * a b)’ + Where: ‘a’, ‘b’ are rigid type variables bound by + the type signature for: + ex6 :: forall a b. Dict (Coercible * a b) -> () + at T15039d.hs:32:1-53 + • In a pattern type signature: _ + In the pattern: Dict :: _ + In an equation for ‘ex6’: ex6 (Dict :: _) = () + • Relevant bindings include + ex6 :: Dict (Coercible * a b) -> () (bound at T15039d.hs:33:1) + +T15039d.hs:35:8: warning: [-Wpartial-type-signatures (in -Wdefault)] + • Found type wildcard ‘_’ standing for ‘(a :: *) ~R# (b :: *)’ + Where: ‘a’, ‘b’ are rigid type variables bound by + the inferred type of + ex7 :: ((a :: *) ~R# (b :: *)) => Coercion * a b + at T15039d.hs:36:1-14 + • In the type signature: + ex7 :: _ => Coercion (a :: Type) (b :: Type) |