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/T10403.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/T10403.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10403.stderr | 72 |
1 files changed, 36 insertions, 36 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10403.stderr b/testsuite/tests/partial-sigs/should_compile/T10403.stderr index 9aec3e28d7..18fed2f6a2 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10403.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10403.stderr @@ -1,36 +1,36 @@ - -T10403.hs:15:7: warning: - Found hole ‘_’ with inferred constraints: Functor f - In the type signature for ‘h1’: _ => _ - -T10403.hs:15:12: warning: - Found hole ‘_’ with type: (a -> b) -> f a -> H f - Where: ‘f’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - ‘b’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - ‘a’ is a rigid type variable bound by - the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:17:1 - In the type signature for ‘h1’: _ => _ - -T10403.hs:19:7: warning: - Found hole ‘_’ with type: (a -> b) -> f a -> H f - Where: ‘f’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - ‘b’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - ‘a’ is a rigid type variable bound by - the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f - at T10403.hs:21:1 - In the type signature for ‘h2’: _ - -T10403.hs:21:1: warning: - No instance for (Functor f) - When checking that ‘h2’ has the inferred type - h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f - Probable cause: the inferred type is ambiguous +
+T10403.hs:15:7: warning:
+ Found hole ‘_’ with inferred constraints: Functor f
+ In the type signature for ‘h1’: _ => _
+
+T10403.hs:15:12: warning:
+ Found hole: _ :: (a -> b) -> f a -> H f
+ Where: ‘f’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ ‘b’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ ‘a’ is a rigid type variable bound by
+ the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:17:1
+ In the type signature for ‘h1’: _ => _
+
+T10403.hs:19:7: warning:
+ Found hole: _ :: (a -> b) -> f a -> H f
+ Where: ‘f’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ ‘b’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ ‘a’ is a rigid type variable bound by
+ the inferred type of h2 :: Functor f => (a -> b) -> f a -> H f
+ at T10403.hs:21:1
+ In the type signature for ‘h2’: _
+
+T10403.hs:21:1: warning:
+ No instance for (Functor f)
+ When checking that ‘h2’ has the inferred type
+ h2 :: forall (f :: * -> *) b a. (a -> b) -> f a -> H f
+ Probable cause: the inferred type is ambiguous
|