Use .NOTPARALLEL for the libraries Makefile

Improve the handling of deriving, in error cases

I'd been too ambitious with error handling for 'deriving', and got it
entirely wrong.  This fixes it.  See extensive
Note [Exotic derived instance contexts]
in TcSimplify.  (Most of the extra lines are comments!)

More refactoring in TcSimplify

This re-jig tides up the top-level simplification, and combines in one
well-commented function, approximateImplications, the rather ad-hoc
way of simplifying implication constraints during type inference.

Error messages get a bit better too.

Fix egregious sharing bug in LiberateCase

Andy Gill writes: consider the following code

       f = g (case v of
                V a b -> a : t f)

where g is expensive. Liberate case will turn this into

       f = g (case v of
               V a b -> a : t (letrec f = g (case v of
                                             V a b -> a : f t)
                                in f)
             )
Yikes! We evaluate g twice. This leads to a O(2^n) explosion
if g calls back to the same code recursively.

This may be the same as Trac #1366.

Turning off case liberation when using the hpc option, for now

Consider the following code

     f = g (case v of
              V a b -> a : t f)

where g is expensive. Liberate case will turn this into

     f = g (case v of
             V a b -> a : t (letrec f = g (case v of
                                           V a b -> a : f t)
                              in f)
           )

Yikes! We evaluate g twice. This leads to a O(2^n) explosion
if g calls back to the same code recursively.

This happen sometimes in HPC, because every tick is a liberate-able case,
but is a general problem to case liberation (I think).

Add --core-only flag to push-all

Add a push-all script

Improve misleading warning (Trac #1422)

Fix a bug in the handling of implication constraints (Trac #1430)

Trac #1430 showed up quite a nasty bug in the handling of implication
constraints when we are *inferring* the type of a function.
See Note [Inference and implication constraints]:

  We can't (or at least don't) abstract over implications.  But we might
  have an implication constraint (perhaps arising from a nested pattern
  match) like
   C a => D a
  when we are now trying to quantify over 'a'.  Our best approximation
  is to make (D a) part of the inferred context, so we can use that to
  discharge the implication. Hence getImplicWanteds.

My solution is not marvellous, but it's better than before.  I transferred
function getDefaultableDicts from Inst to TcSimplify (since it's only
called there).  Many of the remaining 50 new lines are comments.  But
there is undoubtedly more code than before (sigh).

Test is tc228.

Comments only

Remove erroneous requirement to import Control.Monad.Fix when using mdo

See Trac #1426

First cut at documentation for HPC option in GHC

Build package ndp if present

typo

More debugger output order consistency

Several changes to the code dealing with newtypes in :print

I simplified the code, killed some unreachable blocks, and renamed it so that it corresponds more accurately with what is explained in the technical report

http://www.dsic.upv.es/docs/bib-dig/informes/etd-04042007-111431/papernew2.pdf

Also, fixed a bug related to newtypes in the pretty printer

Remove now non-existant "Breakpoints" entry from package.conf.in

Sort names before printing them in the debugger so output order is consistent

Use %d rather than %zd on Windows

Add missing quotes in generated script

Fix size mismatch errors in mkDerivedConstants.c

workaround for #1421 (Solaris linker being picky about .size)

I didn't quite fix #1424 completely - hopefully this gets it right

FIX #1424: x86_64 NCG generated wrong code for foreign call with >8 double args
I guess we have a missing test... I'll add one

another fix for -hb: we appear to be freeing the hash table and arena twice

FIX #1418 (partially)
When the con_desc field of an info table was made into a relative
reference, this had the side effect of making the profiling fields
(closure_desc and closure_type) also relative, but only when compiling
via C, and the heap profiler was still treating them as absolute,
leading to crashes when profiling with -hd or -hy.

This patch fixes up the story to be consistent: these fields really
should be relative (otherwise we couldn't make shared versions of the
profiling libraries), so I've made them relative and fixed up the RTS
to know about this.

should be using GET_CON_DESC() to get the constructor name

warning police

Use $(if...) to get lazy tests instead of if..endif in a few places
This means it should be possible to set GhcUnregisterised=YES in
build.mk and the rest of the settings should follow automatically
(GhcWithNativeCodeGen, SplitObjs, GhcWithSMP).

Tweak banner printing
* -{short,long}-ghci-banner are now dynamic options, so you can put
  ":set -short-ghci-banner" in .ghci
* The -v2 banner information now always tells you what compiler booted GHC,
  and what stage the compiler is. Thus we no longer assume that stage > 1
  iff GHCI is defined.

FIX #1378 Add option for a shorter banner on GHCi startup

Add -short-ghci-banner and -long-ghci-banner.  The default is long, which is
the current behavior.  The short banner prints a one-line introduction with
only the version, web site, and ":? for help" message.

Windows bindist tweaking

Fix the ghc package in bindists

Fix up whitespace

Fix bindists on Windows

Install the RTS from a bindist correctly

Only add the extra Windows libraries if we are on Windows

Follow Cabal change; .setup-config is now dist/setup-config

Copy more of base's hacks into installPackage; *sigh*

Hack libsubdir so that it does the right thing on both Windows and non-Windows

Remove now-unused files

Fix ghcii.sh creation

Explicitly set datadir
Cabal defaults to the value we want on Linux, but uses
"C:\\Program Files\\Common Files" on Windows.

Fix a -- that somehow turned into a ----

Fix creation of hsc2hs-inplace.bat

ghc-pkg-inplace now has .bat extension on Windows

Add omitted files (mk/{install,recurse}.mk)

Fix bindist creation
Bindists should now work again, when doing "make install" at least.
"make in-place" is probably still broken.

Rework the build system a bit
Key changes:
* Always build as if BIN_DIST is 1. BIN_DIST is thus removed.
* Libraries are configured with prefix set to $$topdir rather than $(prefix)

Make package.conf files a bit more readable

Adding new ffi calls into the Hpc rts subsystem

foreign import ccall unsafe hs_hpc_write :: CString -> IO ()
foreign import ccall unsafe hs_hpc_read  :: CString -> IO ()

These write a Hpc description of the state of the world to a file,
or read a description into the current Hpc tickbox subsystem.

don't add -threaded in stage2/3 if we didn't build the threaded RTS

fix compile error in the !GHCI_TABLES_NEXT_TO_CODE case

Fix PPC Mac OS X memory access problem in SMP.h (#1362)

Using blacklist of places not to cover, rather than reverse-engineer deriving.

Not adding ticks to compiler generated derived code.

Fix worker/wrapper ids for newtype instances
- mkDataConIds forced an algebraic worker/wrapper on newtype instances (not
  on vanilla newtypes).  I am not sure where this came from (from code I
  wrote or from the recent restructuring of MkIds), but its not the right
  thing to do.  In particular, it requires newtype instances to have con_info
  labels in the generated code, which makes no sense.
- Worker construction for newtypes is smart enough that it will construct the
  right signature for newtype instances (ie, one that mentions the family
  type constructor, not the instance tycon).

Fix deriving of indexed data types
- Fix typo introduced when moving deriving-specific code from TcEnv to TcDeriv
- Thanks to Roman for the bug report

Add instructions for adding a library to a build tree

Don't suggest -fno-monomorphism-restriction if it's already set

This patch implements the suggestion in Trac #1398.  It's obviously
stupid to suggest -fno-monomorphism-restriction if the user is already
using it.

(Maybe another suggestion would be good, but this one clearly bogus.)

Remove unnecessary free-variables from renamer

The renamer used to be responsible for making sure that all interfaces
with instance decls (other than orphans) were loaded.  But TH makes that
impossible, so the typechecker does it, via checkWiredInTyCon.

This patch simply removes redundant additions to the free-variable set
in the renamer, which were there, I believe, solely to ensure that the
instances came in.  Removing them should change nothing, but it's a
useful clean up.

FIX #1385: make sure tuple instances are loaded

Typechecking of explicit tuples is done "by hand" (rather than using
boxySplitTyConApp) so that rigidity is maintained.  In making that change
I'd forgotten to retain the call to checkWiredInTyCon, which is important
to make sure instances are brought into scope.

Test is tc227.

Typo in comments

remove #if branches for pre-ghc-6.0
I skipped utils/hsc2hs/Main.hs since its ifs also involved
checking for old versions of nhc98 (I don't want to figure that out),
but removed everything else I found relating to building with pre-6.0

Typo, spotted by Stefan Holdermans

ifBuildable now prints a warning if the package is not buildable

Fix normalisation of path to find
The old code didn't work on Mac OS X, as "which" returns successfully
when it can't find the program.

fix panic in #1379

Add missing newline from ghci :help output

implement FastMutInt in non-GHC using IORefs (#1405)
ghc still works, also the module was tested in hugs and ghc

FIX #1110: the linker also needs the workaround

FIX BUILD: GHC doesn't use filepath (yet)

tiny cleanup

remove OpenBSD-specific initAdjustor() code that shouldn't be required now
Submitted by: Matthias Kilian <kili@outback.escape.de>

fix locations for uploading src dists

FIX unregisterised build
Can't check $(GhcUnregisterised) eagerly, because it might not have
been set yet (it's set in build.mk).

FIX: loading package ghc in GHCi (added a couple of missing symbols)

Fix bogus check for strictness in newtypes

export noSrcLoc, noSrcSpan

Fix copy-and-paste-o

Fix bug in tcSimplifyInfer (Trac #1382)

When I rejigged constraint simplification when inferring types, I missed
a corner case.  Somethign that it's distressingly easy to do.  Anyway
this fixes it; see the comments in tcSimplifyInfer with the second call
to partition and extendLIEs.

The test is tcfail181.

Reject newtypes with strictness annotations; fixes read008

This used to be a parse error, but ! annotations are now handled
further downstream in the compiler, and I'd forgotten to check
that newtypes do not have strictness annotations.

The test read008 is technically in the wrong place (it's a typechecker
test now) but that doesn't matter

refactor: combine repeated code in file reloading

Changes the behavior of the "edit" command in GHCi.
Currently, when the user invokes the GHCi editor without a parameter
GHCi chooses the last file that loaded _sucessfully_.
This patch changes this behavior to start the editor with the
last file that _faild_ (this being what I usually want to edit).
Caveat: we use the module graph to determine what happened
and so we do not catch errors that occured during dependecy
analysis (e.g., a mis-typed module name) but we could fix this later.

Update Windows installation docs

#1318: lex negative unboxed literals
I reorganized the lexing of numeric literals a bit so the code didn't
get too ugly, after trying a few ways, and also considering possible plans
to be able to conditionally lex negative _boxed_ literals.

#1318: remove negative-prim-literal old hackish implementation

parseInteger->parseUnsignedInteger to clarify meaning
I decided against adding parseSignedInteger since octal
and hex literals often have junk between the '-' and the
digits, but, compare to Util.readRational which does handle
signed numbers.  Also since Integers - mathematically and
in Haskell - can be negative, normally.

Build Windows installer when making a bindist if ISCC is set
It doesn't work yet, but I'm pretty sure that's because the bindist is
broken rather than the installer is broken.

don't build the threaded RTS when GhcUnregisterised=YES

only comments, spacing, alpha-renaming

Removed defunct compiler/codeGen/CgUsages.hi-boot-6

-package pretty is required for GHC >= 6.7

add $(ghc_ge_607)

System.Directory.Internals is now in package directory

Say where we're booting to aid debugging

add a rule for creating makefiles as <dir>/CabalMakefile
Not done by default yet, but useful when hacking on libraries.

process is now split off from base

old-locale is now split out

Refactor libraries/Makefile a bit; also, we don't need a bootstrapping pretty