diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr new file mode 100644 index 0000000000..af573c5ffa --- /dev/null +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -0,0 +1,48 @@ +TYPE SIGNATURES + bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1 + foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String +TYPE CONSTRUCTORS +COERCION AXIOMS +Dependent modules: [] +Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0, + integer-gmp-1.0.0.0] + + +WarningWildcardInstantiations.hs:5:14: Warning: + Found hole ‘_a’ with type: w_a + Where: ‘w_a’ is a rigid type variable bound by + the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String + at WarningWildcardInstantiations.hs:6:1 + In the type signature for ‘foo’: (Show _a, _) => _a -> _ + +WarningWildcardInstantiations.hs:5:18: Warning: + Found hole ‘_’ with inferred constraints: (Enum w_a) + In the type signature for ‘foo’: (Show _a, _) => _a -> _ + +WarningWildcardInstantiations.hs:5:30: Warning: + Found hole ‘_’ with type: String + In the type signature for ‘foo’: (Show _a, _) => _a -> _ + +WarningWildcardInstantiations.hs:8:8: Warning: + Found hole ‘_’ with type: w_ + Where: ‘w_’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 + at WarningWildcardInstantiations.hs:9:1 + In the type signature for ‘bar’: _ -> _ -> _ + +WarningWildcardInstantiations.hs:8:13: Warning: + Found hole ‘_’ with type: w_ -> w_1 + Where: ‘w_’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 + at WarningWildcardInstantiations.hs:9:1 + ‘w_1’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 + at WarningWildcardInstantiations.hs:9:1 + In the type signature for ‘bar’: _ -> _ -> _ + + WarningWildcardInstantiations.hs:8:18: Warning: + Found hole ‘_’ with type: w_1 + Where: ‘w_1’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1 + at WarningWildcardInstantiations.hs:9:1 + In the type signature for ‘bar’: _ -> _ -> _ |