Remove GADT refinements, part 3

MacOS installer: Uninstaller must be able to deal with ATiger receipts

Add and use seqBitmap when constructing SRTs
This roughly halves memory usage when compiling
    module Foo where

    foo :: Double -> Int
    foo x | x == 1 = 1
    ...
    foo x | x == 500 = 500
without optimisation.

Whitespace

Remove GADT refinements, part 2

Fix Trac #2130: improve derived Ord for primmitive types

This patch does two things:

* (Minor): in TcGenDeriv.careful_compare_Case, test for less-than before
  equality. This should reduce the number of dynamic tests, and also gives
  more scope for optimisation, since less-than tells us more than equality.

* (More important): add special-case derived code for data types that are
  simple wrappers of primitive types. See
Note [Comparision of primitive types]
  This fixes Trac 2130.

However see also Trac #2132, which is not addressed here.

Comments only

add a note about SMP execution not being supported with profiling

Enable -prof -threaded (#886)
It turns out that -prof -threaded works (modulo some small changes),
because all the data structures used in profiling are only accessed by
one thread at a time, at long as we don't use +RTS -N2 or higher.  So
this patch enables the use of -prof -threaded, but an error is given
if you ask for more than one CPU with +RTS -N.

Wibble to error message (stmt of do block or comprehension)

Make explicit lists more fusable

Add comments explaining flags

Remove GADT refinements, part 1
- A while ago, I changed the type checker to use equality constraints together
  with implication constraints to track local type refinement due to GADT
  pattern matching.  This patch is the first of a number of surgical strikes
  to remove the resulting dead code of the previous GADT refinement machinery.

  Hurray to code simplification!

Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point
- See test case indexed-types/should_fail/SkolemOccursLoop, which sends the
  type checker into an endless loop without this fix

Fix Trac #2126: re-order tests (easy)

Fix Trac #2111: improve error handling for 'rec' in do-notation

We were not dealing correctly with all the combinations of
do notation
mdo notation
arrow notation
in combination with 'rec' Stmts.

I think this patch sorts it out.

Remove gaw comment

Fix Trac #1899; missing equality check in typechecker's constraint simplifier

This patch fixes a missing equality check (uifying type variable b=b) in
the new constraint simplifier in TcTyFuns.  As it stands, we were making
'b' point to itself, which subsequently led to an infinite loop when
zonking.  Test is T1899.hs

FIX #2122: file locking bug
Second and subsequent readers weren't being inserted into the
fd->lock hash table, which meant that the file wasn't correctly
unlocked when the Handles were closed.

documentation improvements from Frederik Eaton

markup fix

Mac installer: cross-compile for 10.4

Make UniqFM non-strict again while we work out what we're doing.
This "fixes" the very-slow problem we have when compiling dictionaries.

Fix Trac #2082

Fix Trac #2114: error reporting for 'forall' without appropriate flags

Improve error messages from type-checking data constructors

This addresses Trac #2112

Add type sigs and minor refactoring

FIX #2073: Don't add empty lines to GHCI's history

FIX #1977: Check to see if $(bindir) is in the path
Before telling the user to add it, when installing a bindist, check to
see if $(bindir) is already in the path.

Fix warnings in Simplify

Whitespace

Add a comment

Fix most of the warnings in StgLint

Whitespace

CprAnalyse is warning-free

Whitespace

Fix #1984: missing context switches

fix unregisterised stage 2 build

Mac OS X deployment target: piping opts through Makefiles

Rewrite fixTvSubstEnv so it iteratively applies its substition
This fixes a stack overflow when using strict UniqFMs. It might be
possible to rewrite it more efficiently, or to avoid needing it in the
first place.

Typo

Make some more modules use LazyUniqFM instead of UniqFM
If these modules use UniqFM then we get a stack overflow when compiling
modules that use fundeps. I haven't tracked down the actual cause.

Add configure option --with-macos-deployment-target

Fix warning in SCCfinal

Whitespace only

Fix warnings in UniqSupply

Whitespace only

Fix non-missing-signature warnings in MkId

Whitespace only

Whitespace only

Make literals in the syntax tree strict

Make the parser a bit stricter

seq what we actually want to seq, not the seq'ing function

attempt to fix #2098 (PPC pepple please test & fix)

FIX #2023: substitute for $topdir in haddockInterfaces and haddockHTMLs

All installed Haskell prgms have an inplace and an installed version
- GHC installs a range of compiled Haskell programs in addition to the actual
  compiler.  To ensure that they all run on the platform targeted by the build
  (which may have different libraries installed than the build host), we need
  to make sure that all compiled Haskell code going into an install is build
  with the stage 1 compiler, not the bootstrap compiler.  Getting this right
  is especially important on the Mac to enable builds that work on Mac OS X
  versions that are older than the one performing the build.
- For all installed utils implemented in Haskell (i.e., ghc-pkg, hasktags,
  hsc2hs, runghc, hpc, and pwd) we compile two versions, an inplace version
  and a version for installation.  The former is build by the bootstrap
  compiler during the stage 1 build and the latter is build by the stage 1
  compiler during the stage 2 build.
- This is really very much as the setup for ghc itself, only that we don't use
  separate stage1/ and stage2/ build directories.  Instead, we clean before
  each build.  CAVEAT: This only works properly if invoked from the
  toplevel Makefile.
- Instead of UseStage1=YES (as used by the previous binary-dist-specific
  recompilation), we now use the same $(stage) variables as used for the
  compiler proper - to increase uniformity and to avoid extra conditionals for
  the install target.

Fix warnings in Pretty

Fix warnings in FiniteMap

Fix warnings in Binary

Fix warnings in StringBuffer

Fix warnings in IOEnv

Fix warnings in FastString, and check for empty case in head/tail

Whitespace only

Whitespace only

Whitespace only

Whitespace only

Whitespace only

Whitespace only

Tweak whitespace

Fix typo

Print better error message for reading External Core

GHC panicked with a "Prelude.undefined" error message if you tried to
compile a .hcr file. Since support for reading ExternalCore simply does
not exist, I added an error message to say that.

Please merge to 6.8. Thanks.

Documentation only: update External Core section of user guide

I updated the External Core section of the user guide, mostly to reflect
that the input path is broken and there are no firm plans to fix it.

Generate foo(void) rather than foo() in FFI stub files
-Wstrict-prototypes warns about the latter.
Patch from pcc in trac #2100.

Make hasktags -Wall clean

Whitespace only

Fix building hasktags

Revert an accidental comment change

find module names, fix for get constructor names, find class names as well, sort ctag files

added TODO item and link to alternatives on wiki

Make more arch-specific #if's exclusive with #else #error cases
So when the next person compiles the Sparc NCG it should fail more
obviously at compile time rather than panicing at runtime.
Plus one obvious fix for LocalReg gaining an extra param
Missing bits of Sparc NCG:
  * genSwitch for generating jump tables. This is the most tricky one.
  * ALLOCATABLE_REGS_INTEGER and ALLOCATABLE_REGS_DOUBLE just requires
    finding and verifying the values. The nearby comment describes how.
  * isRegRegMove and mkRegRegMoveInstr. Sparc uses Or for int move, check
    what this is supposed to do for single and double float types.
  * regDotColor. Probably just copy the ppc impl.

Document code a bit better

Add a necessary [] error case

\e -> f e   ===>    f

Fixed warnings in parser/Lexer.x

The -w flag can not be removed, because alex also generates code with lots of warnings.

Monadification and Fixed warnings in parser/RdrHsSyn, except for incomplete pattern matches

Fixed warnings in vectorise/VectMonad

Fix typo in message

Remove old code to get TMPDIR, use System.Directory.getTemporaryDirectory

Mac installer: Added XCODE_EXTRA_CONFIGURE_ARGS

Mac installer: make Uninstaller a bit more robust

Mac installer: add comprehensive licencing information

Force -s on ar in xcode builds

Fix warning (FIX validate)

Symbolic tags for simplifier phases

Every simplifier phase can have an arbitrary number of tags and multiple
phases can share the same tags. The tags can be used as arguments to
-ddump-simpl-phases to specify which phases are to be dumped.
For instance, -ddump-simpl-phases=main will dump the output of phases 2, 1 and
0 of the initial simplifier run (they all share the "main" tag) while
-ddump-simpl-phases=main:0 will dump only the output of phase 0 of that run.

At the moment, the supported tags are:

  main                 The main, staged simplifier run (before strictness)
  post-worker-wrapper  After the w/w split
  post-liberate-case   After LiberateCase
  final                Final clean-up run

The names are somewhat arbitrary and will change in the future.

Allow -ddump-simpl-phases to specify which phases to dump

We can now say -ddump-simpl-phases=1,2 to dump only these two phases and
nothing else.

Fixed warnings in parser/ParserCoreUtils

Fixed warnings in hsSyn/Convert, except for incomplete pattern matches

Fixed warnings in types/Unify

Fixed warnings in ndpFlatten/FlattenInfo

Fixed warnings in vectorise/VectBuiltIn