Wibble to pretty printing

Merge branch 'master' of darcs.haskell.org/ghc

Tidy up a remaining glitch in unification

There was one place, in type checking parallel list comprehensions
where we were unifying types, but had no convenient way to use the
resulting coercion; instead we just checked that it was Refl.  This
was Wrong Wrong; it might fail unpredicably in a GADT-like situation,
and it led to extra error-generation code used only in this one place.

This patch tidies it all up, by moving the 'return' method from the
*comprehension* to the ParStmtBlock. The latter is a new data type,
now used for each sub-chunk of a parallel list comprehension.

Because of the data type change, quite a few modules are touched,
but only in a fairly trivial way. The real changes are in TcMatches
(and corresponding desugaring); plus deleting code from TcUnify.

This patch also fixes the pretty-printing bug in Trac #6060

Fix maintenance of n_blocks in the RTS

It was causing assertion failures of
    ASSERT(countBlocks(nursery->blocks) == nursery->n_blocks)
at
    ghc-stage2: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 878

More Win32 build fixes

Fixes for x86/Linux

Fix the stage1 ghc hschooks.c

The stage0 compiler might have a different idea as to what type lnat
corresponds to, so cast the value to the type we want.

Fix build of rts/Linker.c on Win32

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Get GHCi working on Win64

Document eta expansion under GHC bugs and infelicities

Egregious typo (fixes Trac #6055)

Merge branch 'master' of darcs.haskell.org//ghc

More explicit pretty-printing of promoted TyCons with -dppr-debug

Make the interface-file deserialisation work right for promoted types (Trac #6054)

GHC currently uses the slightly-dodgy plan that when we proote
a TyCon to be a Kind constructor we leave it with the same Name.

That means that to make sense of a IfaceType we need to know wheter
it is really an IfaceType or an IfaceKind, because in the latter an
occurrence of (say) Maybe will be the *promoted* Maybe.

See Note [Checking IfaceTypes vs IfaceKinds] in TcIface

Revert "Add -faggressive-primops"

This reverts commit 745ec959ff647c3a455767d20f6f37e9a0cc65aa.

Sigh. Seg fault

Revert "Refactoring in CoreUtils/CoreArity"

This reverts commit e3f8557c2aca04cf64eec6a1aacde6e01c0944ff.

Sigh. Seg fault.

Revert "Make more primops cheaper"

This reverts commit a365a58eade7cb2c961af8e60c20b7d78b1b7484.

Sigh.  Seg fault.  Major sigh.

Merge branch 'master' of darcs.haskell.org/ghc

Make more primops cheaper

This puts back the earlier behaviour (pre "aggressive-primop" patch)
whereby most primpos were considered cheap.  In the aggressive-primop
patch we made them ones with bigger "code_size" seem not-cheap, but
this slows down fft2 a lot.  So I've reverted to the earlier behaviour.

   +++ b/compiler/prelude/PrimOp.lhs
   @@ -450,6 +450,8 @@ primOpIsCheap op
      -- This is vital; see Note [PrimOp can_fail and has_side_effects]
    && not (primOpOutOfLine op)
  -   -- && primOpCodeSize op <= primOpCodeSizeDefault
  +-- Omitting; it makes fft2 run a lot slower by preventing
  +--           eta expansion in an inner loop, with a primop cosDouble#

Comment out a pprTrace unless DEBUG is on (fix Trac #5929)

Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

Pretty printing and debug improvements

Merge branch 'master' of darcs.haskell.org/ghc

Refactoring in CoreUtils/CoreArity

In the previous commit about "aggressive primops" I wanted a new
function CoreUtils.exprCertainlyTerminates.  In doing this I ended up
with a significant refactoring in CoreUtils.  The new structure has
quite a lot of nice sharing:

         exprIsCheap             = exprIsCheap' isHNFApp
         exprIsExpandable        = exprIsCheap' isConLikeApp

         exprIsHNF               = exprIsHNFlike isHNFApp
         exprIsConLike           = exprIsHNFlike isConLikeApp
         exprCertainlyTerminates = exprIsHNFlike isTerminatingApp

This patch also does some renaming

    CheapAppFun      -->   FunAppAnalyser
    isCheapApp       -->   isHNFApp
    isExpandableApp  -->   isConLikeApp

Add -faggressive-primops

I'm experimenting with making GHC a bit more aggressive about

  a) dropping case expressions if the result is unused
        Simplify.rebuildCase, CaseElim equation

  b) floating case expressions inwards
        FloatIn.fiExpr, AnnCase

In both cases the new behaviour is gotten with a static (debug)
flag -faggressive-primops.  The extra "aggression" is to allow
discarding and floating in for side-effecting operations.  See
the new, extensive Note [PrimOp can_fail and has_side_effects]
and Note [Aggressive PrimOps] in PrimoOp.

When discarding a case with unused binders, in the lifted-type
case it's definitely ok if the scrutinee terminates; previously
we were checking exprOkForSpeculation, which is significantly
worse.

There's a related change to CoreUtils/CoreArity, but I'll put that
in the next commit.

Debug printing only

Small refactoring in kind generalisation of type declarations

White space and debug printint

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

hs_init(): cope with argc and/or argv being NULL (#6006)

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Catch illegal imports earlier (#6007)

Add a new primop mkWeakNoFinalizer (#5879)

Fix build on OS X

add support for ARM hard-float ABI (fixes #5914)

This patch enhances Platform's ArchARM to include ARM ABI value. It also
tweaks configure machinery to detect hard-float ABI and to set it wherever
needed. Finally when hard-float ABI is in use, pass appropriate compiler
option to the LLVM's llc. Fixes #5914.

Doc: updated list of warnings not enabled by -Wall (#4817)

Flags documentation: -fwarn-unrecognized-pragmas is enabled by -Wall (#6050)

Merge branch 'master' of win:c:/ghc/git/cygwin/.

Win32 build fix

Fix build on Win32, and handle the FMT_* #defines in a slightly nicer way

Simplify format specifiers

It turns out that we can use %zu and %llu on Win32, provided we
include PosixSource everywhere we want to use them.

Win32 build fix

Document the -fwarn-unsupported-calling-conventions flag

OS X build fixes

OS X doesn't understand 'gnu_printf', so we need to onyl use it
conditionally.

Fix build on OSX: Use the 'z' format specifier modifier when possible

On Win32 it's not recognised, so we unfortunately can't use it
unconditionally.

Build fixes

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Merge win:c:/m64/reg8

Add SRC_[CH]C_WARNING_OPTS

This allows you to say things like
    SRC_HC_WARNING_OPTS += -fno-warn-unsupported-calling-conventions
in mk/validate.mk.

Unfortunately, we can't just use SRC_HC_OPTS, as that gets put before
the more specific options (e.g. ghc-options in a .cabal file), many of
which include -Wall. So now we have:
    ghc $(SRC_HC_OPTS) ... options from .cabal etc ... $(SRC_HC_WARNING_OPTS)

Win64 build fix

Use coreBindsStats more than coreBindsSize

Tiny refactor

Fix lookup of fixity signatures for type operators (#6027)

Extend name lookup for fixity declaration to the TcClsName namespace for
all reader names, instead of only those in DataName.

Fix warnings on Win64

Mostly this meant getting pointer<->int conversions to use the right
sizes. lnat is now size_t, rather than unsigned long, as that seems a
better match for how it's used.

Make the RHS of a generic FamInst use the same type variables as the LHS!

Merge branch 'master' of darcs.haskell.org/ghc

Do not generate derived instances in TH brackets

See Note [Deriving inside TH brackets] in TcInstDcls
Fixes Trac #6005 (again)

Remove spurious debug print

Allow case expressions with a single alternative to be floated in.

This change generalizes support for floating in case expressions. Previously,
case expression with an unlifted scrutinee and a single DEFAULT alternative were
floated in. In particular, this allowed array index operations to be floated
in. We also want to float in SIMD unpack primops, which return an unboxed tuple
of scalars, thus the generalization.

Improve debug print a bit

Fix a one-character typo (kv1 should be kv2!)

Fixes Trac #6020, #6044

Merge branch 'master' of darcs.haskell.org/ghc

Fix typo

make -XNoImplicitPrelude work properly in GHCi

distclean was removing ghc-pwd/dist, should be ghc-pwd/dist-boot

This has been causing bloat in the src dist for ages.

Noticed while looking at #6009, but I don't think this is the bug
(./configure always removes ghc-pwd/dist-boot before building ghc-pwd)

More fixes to kind polymorphism, fixes Trac #6035, #6036

* Significant refactoring in tcFamPats and tcConDecl

* It seems that we have to allow KindVars (not just
  TcKindVars during kind unification.  See
  Note [Unifying kind variables] in TcUnify.

* Be consistent about zonkQuantifiedTyVars

* Split the TcType->TcType zonker (in TcMType)
   from the TcType->Type   zonker (in TcHsSyn)
  The clever parameterisation was doing my head in,
  and it's only a small function

* Remove some dead code (tcTyVarBndrsGen)

Fix looking up of Exact RdrNames, fixes Trac #6005

See Note [Splicing Exact names] in RnEnv.

Merge branch 'master' of darcs.haskell.org/ghc

removed superfluous flag for vectScalarFun

Merge branch 'master' of darcs.haskell.org//ghc

Improve pretty-printing

Better error messages during sort checking of kind signatures

Fixes Trac #6039, where we have a bogus kind signature
   data T (a :: j k) = MkT

Wibble to comment (to keep Haddock happy)

Merge remote-tracking branch 'origin/master'

Report deprecations at occurrence sites, not once per module

Fixes Trac #5867, and is generally nicer

Add experimental GHCi monad.

Modification of previous commit:
e0e99f9948c1eac82cf69dd3cc30cb068e42d45e

Allows setting which monad GHCi runs statements in. Unsupported at this
stage.

Add a flag for the unsupported calling convention warning

Win64 warning fix

It isn't guaranteed that Cabal is warning-free

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

A couple of build fixes for Win64

Make the prototype for postHeapEvent match the definition

I've assumed that the definition type is right.

Use gnu_printf rather than just printf in function format attributes

On Windows, gcc thinks that printf means ms_printf, which is not the
case when we #define _POSIX_SOURCE 1.

Replaced tabs

Vectorisation Avoidance

Switched off by default. Use -favoid-vect to activate

Partial Vectoriasation

Fixed typo (wrong max constant) in Initiialise.hs

Add symbol declaration for __fixunsdfdi in the linker.

Merge branch 'master' of darcs.haskell.org/ghc

Merge nb:ghc/git/ghc

Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

ghci: write exceptions to stderr (#5980)

Sort instances by location before printing them

Reduces wobble in error messages, and is better for the programmer

Tiny refactoring; no change in behaviour

Respect kind-variable scoping when instantiating dfuns

Fixes Trac #6020

Empty data types should not be "trimmed" by TidyPgm

That in turn means that you can derive Show etc in other modules,
fixing Trac #6031

Add an X86/amd64 implementation for quotRemWord2

Add a quotRemWord2 primop

It allows you to do
    (high, low) `quotRem` d
provided high < d.

Currently only has an inefficient fallback implementation.

OS X: disable bootstrapping info for 'ar'

Xcode 4.3 installs the command line tools in a different location as earlier versions of Xcode. With the bootstrapping info, the build fails if the bootstrap compiler was built with an older version of Xcode.