Skip to content
Snippets Groups Projects
Commit d6f2f231 authored by Ben Gamari's avatar Ben Gamari
Browse files

testsuite: Fix test output of T14715

Arguably the warning should just be disabled for this test to eliminate
unnecessary wiggle in the future.

(cherry picked from commit fe6fdf68)
parent 8f668bda
No related merge requests found
\ 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)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment