Use NoGen plan for unboxed-tuple bindings

There was a small mixup here, exposed by Trac #8762.
Now clarified with better function names and comments.
Allow ($) to return an unlifted type (Trac #8739)

Since ($) simply returns its result, via a tail call, it can
perfectly well have an unlifted result type; e.g.
    foo $ True    where  foo :: Bool -> Int#
should be perfectly fine.

This used to work in GHC 7.2, but caused a Lint failure.  This patch
makes it work again (which involved removing code in TcExpr), but fixing
the Lint failure meant I had to make ($) into a wired-in Id.  Which
is not hard to do (in MkId).
Add some more traceTcS calls
Keep kind-inconsistent Given type equalities (fixes Trac #8705)

I was too eager when fixing Trac #8566, and dropped too many
equalities on the floor, thereby causing Trac #8705.

The fix is easy: delete code.  Lots of new comments!
Revert "Add comments explaining #8754"

This reverts commit b626c3d4ce0e66216705ba8355c914dc809e3fe7.
Revert "Fix #8754 in a round-about way."

This reverts commit 5023c91780e90947680fe0640f7564a4f6448bea.
Make CallArity make more use of many-calls

by elaborating the domain a bit.
Call Arity refactoring: Use a product domain
Call Arity refactoring: Factor out callArityBound
Call Arity refactoring: instance Outputable Count
Call Arity: Now also done on Top-Level binds
Move unit call arity unittests into subdirectory
Call arity: Handle type application correctly
Support mutual recursion
Call arity testcase for #3924

nice numbers coming from these micro-benchmarks.
Call Arity: Update compiler perf number changes

Lots of improvements, one regression in max bytes allocated.
Call Arity refactoring: fakeBoringCalls
Update to primitive-0.5.2.1

This contains a compile-fix for Solaris

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
add omitted FP_PROG_AR_SUPPORTS_ATFILE into the distribution configure.ac (fixes #8794)

Signed-off-by: Austin Seipp <austin@well-typed.com>
fix build failure on Solaris 10 due to RANLIB being set to ':' by configure (#8795)

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