diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-05 12:56:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-06 14:18:53 +0000 |
| commit | da9b2ec3e19edb1de0e73e8f32aa0443743f072c (patch) | |
| tree | e917140da7b725bce9a44d048ac6013af113d6be /testsuite/tests/partial-sigs/should_compile | |
| parent | d4f460feeb263f794774bf2fc330a48bde4ea81c (diff) | |
| download | haskell-da9b2ec3e19edb1de0e73e8f32aa0443743f072c.tar.gz | |
Print singleton consraints without parens
The main change is in TypeRep.pprTheta, so we print
Eq a
for a singleton, but
(Eq a, Show a)
for multiple constraints.
There are lots of trivial knock-on changes to error messages
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr index af573c5ffa..8e0fa1742e 100644 --- a/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr +++ b/testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr @@ -7,7 +7,6 @@ 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 @@ -16,7 +15,7 @@ WarningWildcardInstantiations.hs:5:14: Warning: In the type signature for ‘foo’: (Show _a, _) => _a -> _ WarningWildcardInstantiations.hs:5:18: Warning: - Found hole ‘_’ with inferred constraints: (Enum w_a) + Found hole ‘_’ with inferred constraints: Enum w_a In the type signature for ‘foo’: (Show _a, _) => _a -> _ WarningWildcardInstantiations.hs:5:30: Warning: @@ -40,7 +39,7 @@ WarningWildcardInstantiations.hs:8:13: Warning: at WarningWildcardInstantiations.hs:9:1 In the type signature for ‘bar’: _ -> _ -> _ - WarningWildcardInstantiations.hs:8:18: Warning: +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 |