diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:07:49 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | 9cdde38144331510673b5296b00c88fbe566adcf (patch) | |
| tree | f8c904980f681506307b925166ce9e061b02d06f /testsuite/tests/partial-sigs/should_fail/TidyClash.stderr | |
| parent | cdc14b480adc58c2937d54d0db0fd36e4ed532b0 (diff) | |
| download | haskell-9cdde38144331510673b5296b00c88fbe566adcf.tar.gz | |
Testsuite: remove Windows CR [skip ci]
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_, _ -> _) |