diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/TidyClash.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_fail/TidyClash.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr index 596abe1160..c90699048b 100644 --- a/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr +++ b/testsuite/tests/partial-sigs/should_fail/TidyClash.stderr @@ -1,16 +1,16 @@ -
-TidyClash.hs:8:19: error:
- • Found type wildcard ‘_’ standing for ‘w1’
- Where: ‘w1’ is a rigid type variable bound by
- the inferred type of bar :: w_ -> (w_, w1 -> w)
- at TidyClash.hs:9:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: bar :: w_ -> (w_, _ -> _)
-
-TidyClash.hs:8:24: error:
- • Found type wildcard ‘_’ standing for ‘w’
- Where: ‘w’ is a rigid type variable bound by
- the inferred type of bar :: w_ -> (w_, w1 -> w)
- at TidyClash.hs:9:1-28
- To use the inferred type, enable PartialTypeSignatures
- • In the type signature: bar :: w_ -> (w_, _ -> _)
+ +TidyClash.hs:8:19: error: + • Found type wildcard ‘_’ standing for ‘w1’ + Where: ‘w1’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_, w1 -> w) + at TidyClash.hs:9:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: bar :: w_ -> (w_, _ -> _) + +TidyClash.hs:8:24: error: + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of bar :: w_ -> (w_, w1 -> w) + at TidyClash.hs:9:1-28 + To use the inferred type, enable PartialTypeSignatures + • In the type signature: bar :: w_ -> (w_, _ -> _) |