diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-25 09:25:39 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-26 08:33:12 +0100 |
| commit | b98ff25f4c8cb4bf18b784c848fabaaa6e4b11b8 (patch) | |
| tree | 057dce79c8f2c77689cc2ed375c89858b38a4b4d /testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr | |
| parent | fb7b6922573af76a954d939c85e6af7c39a19896 (diff) | |
| download | haskell-b98ff25f4c8cb4bf18b784c848fabaaa6e4b11b8.tar.gz | |
Error message wibbles from out-of-scope changes
The patch "Treat out-of-scope variables as holes" makes
lots of error messages change a bit. This patch has all
the change.
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr | 94 |
1 files changed, 47 insertions, 47 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index f82c9367d5..6927a78c13 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -1,47 +1,47 @@ -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.2.0, ghc-prim-0.4.0.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’: _ -> _ -> _ +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.2.0, ghc-prim-0.4.0.0,
+ integer-gmp-1.0.0.0]
+
+WarningWildcardInstantiations.hs:5:14: warning:
+ Found hole: _a :: 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: _ :: String
+ In the type signature for ‘foo’: (Show _a, _) => _a -> _
+
+WarningWildcardInstantiations.hs:8:8: warning:
+ Found hole: _ :: 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: _ :: 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: _ :: 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’: _ -> _ -> _
|