diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-01-31 22:53:16 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-01-31 23:06:57 -0500 |
| commit | fe6fdf689853f5d6e4ef01ba9952e4be48a92f45 (patch) | |
| tree | fe8c93f3a7906fcec1d796e84a9c5bb55a8feade /testsuite | |
| parent | b37dc232288f3d8ace44f7799ca7a258964bf7bf (diff) | |
| download | haskell-fe6fdf689853f5d6e4ef01ba9952e4be48a92f45.tar.gz | |
testsuite: Fix test output of T14715
Arguably the warning should just be disabled for this test to eliminate
unnecessary wiggle in the future.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T14715.stderr | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T14715.stderr b/testsuite/tests/partial-sigs/should_compile/T14715.stderr index 0519ecba6e..c846b47dd2 100644 --- a/testsuite/tests/partial-sigs/should_compile/T14715.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T14715.stderr @@ -1 +1,10 @@ -
\ No newline at end of file +T14715.hs:13:53: warning: [-Wpartial-type-signatures (in -Wdefault)] + Found type wildcard ‘_’ standing for ‘Reduce (LiftOf zq) zq’ + Where: ‘zq’ is a rigid type variable bound by + the inferred type of + bench_mulPublic :: (z ~ LiftOf zq, Reduce (LiftOf zq) zq) => + Cyc zp -> Cyc z -> IO (zp, zq) + at T14715.hs:(14,1)-(16,14) + In the type signature: + bench_mulPublic :: forall z zp zq. + (z ~ LiftOf zq, _) => Cyc zp -> Cyc z -> IO (zp, zq) |