Make the MR warning more accurage
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Jun 2017 10:16:16 +0000 (11:16 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 5 Jun 2017 10:16:16 +0000 (11:16 +0100)
commita65dfea535ddf3ca6aa2380ad38cb60cf5c0f1d8
tree5073f2314d0526c310ac4741a52ed157d38ee589
parent6597f0846904dc5accbe2556badbd29a8a58c28e
Make the MR warning more accurage

Trac #13785 showed that we were emitting monomorphism warnings
when we shouldn't.  The fix turned out to be simple.

In fact test T10935 then turned out to be another example of
the over-noisy warning so I changed the test slightly.
compiler/typecheck/TcSimplify.hs
testsuite/tests/typecheck/should_compile/T10935.hs
testsuite/tests/typecheck/should_compile/T10935.stderr
testsuite/tests/typecheck/should_compile/T13785.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/T13785.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_compile/all.T