Issue #8393



Signed-off-by: Austin Seipp <austin@well-typed.com>

following
  a) suppressing kind foralls and arguments
  b) better fundep error messages

See [ce8ec963/integer-gmp] and [97c101b7/integer-gmp] for more details

rwbarton authored Sep 29, 2013 and Krzysztof Gogolewski committed Sep 30, 2013

I'd like to just "import Prelude hiding (..., join)", but the
patch to make that turn off the warning hasn't been merged yet.

rwbarton authored Sep 29, 2013 and Krzysztof Gogolewski committed Sep 30, 2013

These tests had a very short timeout (0.3 s). With WAY=ghci,
the time ghci takes to start up and compile the test modules
is counted in this timeout, and that causes the tests to fail.

T367 really needs the very short timeout, so this commit disables
the ghci way for T367. T367_letnoescape can handle any timeout,
so I bumped up the timeout to 6 s to give ghci time to start up.

Issue #8022



Signed-off-by: Austin Seipp <austin@well-typed.com>

Signed-off-by: Austin Seipp <austin@well-typed.com>

A tiny bit of fallout from the TypeRep changes with a simple fix: we
don't export typeRep# from Data.Typeable anymore, only
Data.Typeable.Internal

Signed-off-by: Austin Seipp <austin@well-typed.com>

The new hidden line in output of tcfail181 is

instance Monad m => Monad (Control.Applicative.WrappedMonad m).

It might seem weird that Control.Applicative is suggested when
not imported, but it's almost certainly a side-effect of AMP and
it's harmless.

Select verbosity with "make VERBOSE=n". Options so far:
 n=0: No per-test output
 n=1: Only failing test results
 n=2: As above, plus progress information (names of all tests)
 n=3: As aobve, plus commands called.
Default currently is n=3, although n=2 might be a nicer default.

Accidentally broken by my last commit

As a side-effect, the new `{-# MINIMAL #-}` facility (see #7633

) changes
the existing separate warnings for each missing method declaration:

{{{
No explicit method or default declaration for ‛+’
In the instance declaration for ‛Num T’
}}}

to a single warning per class of the following form:

{{{
No explicit implementation for
  ‛+’, ‛*’, ‛abs’, ‛signum’, and ‛fromInteger’
In the instance declaration for ‛Num T’
}}}

This commit adapts the reference output files in the testsuite to follow
this change in GHC's warnings messages.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>