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

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

Implememt -fdefer-type-errors (Trac #5624)

This patch implements the idea of deferring (most) type errors to
runtime, instead emitting only a warning at compile time.  The
basic idea is very simple:

 * The on-the-fly unifier in TcUnify never fails; instead if it
   gets stuck it emits a constraint.

 * The constraint solver tries to solve the constraints (and is
   entirely unchanged, hooray).

 * The remaining, unsolved constraints (if any) are passed to
   TcErrors.reportUnsolved.  With -fdefer-type-errors, instead of
   emitting an error message, TcErrors emits a warning, AND emits
   a binding for the constraint witness, binding it
   to (error "the error message"), via the new form of evidence
   TcEvidence.EvDelayedError.  So, when the program is run,
   when (and only when) that witness is needed, the program will
   crash with the exact same error message that would have been
   given at compile time.

Simple really.  But, needless to say, the exercise forced me
into some major refactoring.

 * TcErrors is almost entirely rewritten

 * EvVarX and WantedEvVar have gone away entirely

 * ErrUtils is changed a bit:
     * New Severity field in ErrMsg
     * Renamed the type Message to MsgDoc (this change
       touches a lot of files trivially)

 * One minor change is that in the constraint solver we try
   NOT to combine insoluble constraints, like Int~Bool, else
   all such type errors get combined together and result in
   only one error message!

 * I moved some definitions from TcSMonad to TcRnTypes,
   where they seem to belong more

TOP/includes/dist doesn't exist (yet?) and makes ghcpkg05 fail, so remove it

Use Type Based Alias Analysis (TBAA) in LLVM backend (#5567)

TBAA allows us to specify a type hierachy in metadata with
the property that nodes on different branches don't alias.
This should somewhat improve the optimizations LLVM does that
rely on alias information.

Add Metadata support to LLVM bindings.

More improvements to llvm output style (#5750)

Use /usr/bin/gcc when making the OS X installer

On XCode 4.1, we use /usr/bin/gcc-4.2 as it makes better code than
/usr/bin/gcc for us. However, gcc-4.2 doesn't exist in XCode 4.2, so we
need to use /usr/bin/gcc there. As the installer can be used on either,
we make it always use /usr/bin/gcc.

Don't try to use gcc-4.2 on XCode >= 4.2

It was removed in 4.2.

check for failed external symbol lookups (partial fix for #5748)

Clean more files in "make clean"

The libraries get configured during "make", so plain old "make clean"
should clean up the configure droppings.

Also fixed another wildcard/patsubst problem.

Fix cleaning buildinfo files

We were applying $(wildcard ...) to the literal string
libraries/%/*.buildinfo, which of course had no matches.

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

Whitespace only

Add prelude rules for encode{Float,Double}Integer and integerTo{Int,Word}64

Add prelude rules for quotInteger, remInteger

Enable llvm tool paths to be set with ./configure

Patch from Karel Gardas!

Improve style of '-ddump-llvm' output. (#5750)

Add live stg info to Updates.cmm (fixes #4308)

Track STG live register information for use in LLVM

We now carry around with CmmJump statements a list of
the STG registers that are live at that jump site.
This is used by the LLVM backend so it can avoid
unnesecarily passing around dead registers, improving
perfromance. This gives us the framework to finally
fix trac #4308.

last_free_capability should never be NULL

use (GHC) idiomatic types

typo

Make the RTS linker API use wide-char pathnames on Windows (#5697)

I haven't been able to test whether this works or not due to #5754,
but at least it doesn't appear to break anything.

Refactoring

This is working towards being able to put ghcautoconf.h and
ghcplatform.h in includes/dist

Generate the haddock contents/index pages in a dist-haddock subdirectory

This is tidier, and makes it easier to clean and install them correctly

Define prelude rules for floatFromInteger and doubleFromInteger

Add comments on which integer rules are missing

configure: Don't calle GET_ARM_ISA on x86_64

I assume this was a copy/paste-o or similar.

Add alpha, mips, mipseb, mipsel to the list of ArchUnknown arches

Doc fix

Be explicit about what we import from Data.Monoid

refactoring

setNumCapabilities: don't barf() if it isn't supported, just print an error

Enable the threaded RTS when unregisterised too.

It was disabled by me in 1a470c9404950cc6737853309d35798a98ad0c30 (May
2007), but the commit gave no explanation as to why.  Perhaps this was before
we had a separate knob for GhcWithSMP.

Anyway, it looks like threaded works fine with unregisterised, so I'm
enabling it again.

Fix a crash in STM when unregisterised

Fixes several test failures:
   ../../libraries/stm/tests       2411 [bad exit code] (normal,hpc,profasm,ghci,optllvm)
   ../../libraries/stm/tests       stm046 [bad exit code] (normal,hpc,profasm,ghci,optllvm)
   ../../libraries/stm/tests       stm061 [bad exit code] (normal,hpc,profasm,ghci,optllvm)

update copyright, cite realistic version numbers, fix a smattering of typos

abstract away from the 'build-toolchain'-dependent sizeof(...) operator

The sizes obtained this way do not work on a target system in general.
So in a future cross-compilable setup we need another way of obtaining
expansions for the macros OFFSET, FIELD_SIZE and TYPE_SIZE.

Guarded against accidental use of 'sizeof' by poisoning.

Verified that the generated *Constants.h/hs files are unchanged.

Fix crash with +RTS -xc  (occasional cgrun057(profthreaded) failure)

Don't try to print a stack trace from raiseAsync() when there's no
exception - we might just be deleting the thread, or suspending
duplicate work.

Fix haddock validate problem.

Fix validation warning

Formatting fixes

Remove unused arg field of CmmReturn

Tabs -> Spaces

Formatting wibble

Remove unused argument field on CmmJump

Formatting fixes

Tabs -> Spaces + formatting fixes

Fixup to 4464c92badaedc45ce53d6349f6790f6d2298103

Instead of enterLocalIdLabel we should get the label from the
ClosureInfo, because that knows better whether the label should be
local or not.

Needed by #5357

small refactoring

We must emit DELTA pseudo-instructions when moving %esp (#5747)

Give the correct type to CCCS

Needed by #5357

Rename struct _CostCentreStack to struct CostCentreStack_ for consistency

Needed by #5357

Fix for unregisterised compilation: we want registers when defined(USE_MINIINTERPRETER)

Needed by #5357

Fix for unregisterised compilation: isStrangeTypeGlobal CCCS = True

Needed by #5357

Rename the CCCS field of StgTSO so as not to conflict with the CCCS pseudo-register

Needed by #5357

remove dead code

mkSlowEntryCode: enterLocalIdLabel should be enterIdLabel (#5357)

fix warning

dsCImport (CLabel): drop foralls when checking for FunPtr

We were mislabelling some foreign imports as IsData rather than
IsFunction, because the type was forall a. FunPtr (... a ...).

Eventually this gave rise to these obscure error when compiling
unregisterised:

libraries/base/Foreign/Marshal/Alloc.hc:473:0:
     warning: built-in function ‘free’ declared as non-function

libraries/base/Foreign/Marshal/Alloc.hc:1004:0:
     error: ‘free’ redeclared as different kind of symbol

KFreeBSD is also an ELF binary

Fixes: #5733

Restore printing of Rep type family instance with -ddump-deriving

Remove missing archs (mipseb, mipsel, alpha) (#5734)

It doesn't hurt to map these to ArchUnknown since we don't need to
know anything specific about them, and adding them would be a pain
(there are a bunch of places where we have to case-match on all the
arches to avoid warnings).

osElfTarget should default to False (#5733)

Another portabilty regression: before Platform we used to use elf_OBJ_FORMAT:

 #if linux_TARGET_OS || freebsd_TARGET_OS || openbsd_TARGET_OS || solaris2_TARGET_OS
 #define elf_OBJ_FORMAT 1
 #endif

which defaults to undefined on unknown platforms.  Defaulting to
non-ELF is correct, it just means that we won't rely on ELF-specific
functionality.  I've added a comment to explain that.

Store the word size as determined by configure, in the settings file (#5735)

Now target32bit works for all targets without any manual intervention,
as it should do.  #5735 was a portability regression.

Fix the C backend after making CCCS an STG register

In the SIGTSTP handler, throw SIGSTOP instead of re-throwing SIGTSTP

Fix minor bug introduced in e7e771d14ac671904a69abecf9e133d4647026c1

Refer to Control.Concurrent instead of GHC.Conc

Modified version of a patch by shelarcy <shelarcy@gmail.com>

Don't record outputFile in the hashed flags

We don't want

    ghc --make M -o <file>

to force recompilation of all modules when <file> changes.  The -o
value is already taken into account by the recompilation machinery
when we check the modification time on the object file or the
executable.

Be less verbose when printing out Vars

For some reason we were printing every occurrence with its type
and that is far too much.

Major refactoring of CoAxioms

This patch should have no user-visible effect.  It implements a
significant internal refactoring of the way that FC axioms are
handled.  The ultimate goal is to put us in a position to implement
"pattern-matching axioms".  But the changes here are only does
refactoring; there is no change in functionality.

Specifically:

 * We now treat data/type family instance declarations very,
   very similarly to types class instance declarations:

   - Renamed InstEnv.Instance as InstEnv.ClsInst, for symmetry with
     FamInstEnv.FamInst.  This change does affect the GHC API, but
     for the better I think.

   - Previously, each family type/data instance declaration gave rise
     to a *TyCon*; typechecking a type/data instance decl produced
     that TyCon.  Now, each type/data instance gives rise to
     a *FamInst*, by direct analogy with each class instance
     declaration giving rise to a ClsInst.

   - Just as each ClsInst contains its evidence, a DFunId, so each FamInst
     contains its evidence, a CoAxiom.  See Note [FamInsts and CoAxioms]
     in FamInstEnv.  The CoAxiom is a System-FC thing, and can relate any
     two types, whereas the FamInst relates directly to the Haskell source
     language construct, and always has a function (F tys) on the LHS.

   - Just as a DFunId has its own declaration in an interface file, so now
     do CoAxioms (see IfaceSyn.IfaceAxiom).

   These changes give rise to almost all the refactoring.

 * We used to have a hack whereby a type family instance produced a dummy
   type synonym, thus
      type instance F Int = Bool -> Bool
   translated to
      axiom FInt :: F Int ~ R:FInt
      type R:FInt = Bool -> Bool
   This was always a hack, and now it's gone.  Instead the type instance
   declaration produces a FamInst, whose axiom has kind
      axiom FInt :: F Int ~ Bool -> Bool
   just as you'd expect.

 * Newtypes are done just as before; they generate a CoAxiom. These
   CoAxioms are "implicit" (do not generate an IfaceAxiom declaration),
   unlike the ones coming from family instance declarations.  See
   Note [Implicit axioms] in TyCon

On the whole the code gets significantly nicer.  There were consequential
tidy-ups in the vectoriser, but I think I got them right.

Fix typo in Makefile

sdist output was being redirected to $src_log, which presumably
evaluated to rc_log.

Print more informative sizes in -dshow-passes,
and add intWithCommas to Outputable for printing
large Int/Integers

Fix Trac #5721; type variables can be quoted in TH

Documentation wibble: kind -> sort

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

Make RnEnv.lookupBindGroupOcc work on Orig RdrNames

Such names can come from Template Haskell; see Trac #5700
Easily fixed, happily.

I also renamed lookupSubBndr to lookupSubBndrOcc, which is
more descriptive.

Add an ASSERT on 'pick'

Implemnt Trac #5712: show method for infix GADT constructors

This is a tiny feature improvement; see the ticket.
I have updated the user manual too.

Use HsTupleTy [] for unit tuples, uniformly

This is just a tidy-up triggered by #5719.  We were parsing () as a
type constructor, rather than as a HsTupleTy, but it's better dealt
with uniformly as the former, I think.  Somewhat a matter of taste.

Fix an outright bug in the implementation of default decls
for associated types (fixes Trac #5719)

The bug was that we ended up quantifying the new AT instance
over the wrong set of type variables, and that led to confusing
chaos.

Fix the behaviour of the unit unboxed tuple (# #)

See Trac #5720: make the unit unboxed tuple (# #) behave uniformly
with the unit boxed tuple ()

This is actually a change in behaviour, but in a very dark corner,
so I don't think this is going to hurt anyone, and the current
behaviour is deeply strange.

Improve ASSERT error message

Fix :issafe safe haskell ghci command

Fix safe imports to work in GHCi.

simplify code.

Doc wibble

Move function from where clause to top level

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

Now the constraint simplifier solves kind constraints as well.

Introduced new form of TcEvidence for KindCasts, this patch also fixes a
bug in zonking: we must zonk the kinds of existential variables even if
the variables themselves will not be affected.

Very small tweaks to pave the way for solving kind constraints in the simplifier.

Improve sync-all usage doc

Ignore -fpackage-trust if no other Safe Haskell flags

Tabs -> Spaces

Refactor Safe Haskell check to provide hscCheckSafe GHC API

Tabs -> Spaces

Tabs -> Spaces

Fix warnings