Remove non-functional uninstall Makefile target

Move the libraries bindist generation code into libraries/Makefile
This should mean it works even when some libraries are unbuildable.

Cabal now uses filepath, so we need a bootstrapping filepath too

Tweak generation of generated files
Use "chmod a-w" rather than "chmod 444", and allow the command used to
be overridden.

Correct an egregious typo in LiberateCase that emasculated it

Somehow in the patch
  * Record-ise the liberate-case envt, in preparation for new stuff
I managed to make lookupLevelEnv do entirely the wrong thing.

I think it was just a typo.  The result was that LiberateCase essentially
never did anything any more.

Easily fixed though!

don't remove c++ files from Windows binary distribution

Support for adding custom commands to an individual breakpoint

  :set stop N <cmd>

runs <cmd> when breakpoint N is hit.  Note that the command to run
might be a macro (defined with :def), and the macro can invoke
:continue, so it is now possible to do clever things like conditional
breakpoints, or ignoring the next K hits of a breakpoint.

Fixed copy-and-paste error in the machOps of compiler/cmm/CmmParse.y

Removed UNBOX_FIELD from HsVersions.h since it is not used anywhere.

Fixed a minor redundancy in the C-- lexer

Fixed the C-- lexer to comply with the standard on hex escape sequences.
The C-- standard [1] says in Section 3.3.5 "Character literals" that:
 - the hex escape sequence "must contain at least one and
   at most two hexdigits."
 - the octal escape sequence "must contain at least one and
   at most three octdigits."

[1] Norman Ramsey, Simon Peyton Jones, and Christian Lindig.
    "The C-- Language Specication, Version 2.0 ( CVS Revision 1.128 )"
    <http://www.cminusminus.org/extern/man2.pdf>

Documented the Unicode tricks that are being played in the lexers

Fixed apparent typo in STRICT1(f) of HsVersions.h

Remove the distinction between data and newtype families
- This patch removes "newtype family" declarations.
- "newtype instance" declarations can now be instances of data families
- This also fixes bug #1331

  ** This patch changes the interface format.  All libraries and all of **
  ** Stage 2 & 3 need to be re-compiled from scratch.                   **

FIX BUILD: revert accidentally-committed patch

Store a SrcSpan instead of a SrcLoc inside a Name
This has been a long-standing ToDo.

improve :abandon, it wasn't properly terminating the computation (see comments)

refactoring only

Add a warning flag for when the Prelude is implicitly imported (trac #1317)
GHC already determines all the implicit (Prelude) imports,
so we just need to check whether there are any of those,
for each module being compiled.

Comments only

FIX #1181: parseStaticFlags should not be required

- parseStaticFlags is now not required, but if it is called, it should
  be called only once and before newSession, otherwise you get an
  error.
- parseStaticFlags is exported from GHC

FIX: loading the ghc package under GHCi

remove now-unused usage information (#1003)

FIX #1321: problems with accessing the interpreter's Handles

I've had to redo the way we turn off buffering and flush the
stdin/stdout/stderr Handles in the dynamically-loaded base package.
Compiling the expression "hSetBuffering stdout NoBuffering" and then
re-using the compiled expression didn't work sometimes (see comments
for details).  Now, I'm explicitly looking up the address the stdout
closure and re-using that.  It should be more robust, if somewhat
unclean.

Warning fix for unused and redundant imports

Fix cloning bugs in SpecConstr

These bugs produced a core-lint error when compiling
GHC.PArr with -O2.  Roman found and fixed them; this
patch also includes some type synonyms to make things a
bit clearer.

Dead code elimination

improve comments about x86-64 relative-offset hackery

FIX #1343: regex bug in the x86_64 mangler settings

FIX BUILD: remove accidentally committed hunk

FIX BUILD with GHC 6.2.x: VectInfo -> HscTypes.VectInfo

Two more small bugs in abstractFloats

Remove ghc_ge_504 (it's required to be true now anyway)

fix confusion with return value of runStmt

eliminate a crash when trying to use :break on a compiled module (test: break007)

Store the constructor name in the info table in UTF-8

FIX: Linker.getHValue should be linking in any dependencies it requires
Otherwise :print only works for local identifiers, not global ones.
In fact it was silently failing, so I fixed that too.

Fix a missing prime spotted by -fwarn-unused-binds

Tidy up the interface to lookupInstEnv

This patch changes the interface to lookupInstEnv, so that it
returns a pair (Instance, [Either TyVar Type])
rather than    (Inst,     TvSubst)

There is no functionality change, but the interface is tidier,
and closer to lookupFamInstEnv (when Manuel has changed that too).
The [Either TyVar Type] gives the type(s) at which the dfun should
be instantiated.  We need an Either because it might be instantiated
freely: see Note [InstTypes: instantiating types] in InstEnv.

(This might be a pattern we want to use elsewhere too.)

Fix a bug in (the new function) SimplUtils.abstractFloats

Improve full laziness by floating allocations out of value lambdas

This patch simplifies the code slightly, and simultaneously improves
full laziness by floating allocations (lambdas, constructor apps) out
of loops.

See Note [Escaping a value lambda] in SetLevels, which explains.

There's a test that shows it up: simplrun009

This relevant to SpecConstr, because a call looks like
f lvl
instead of
f (\x. blah)
and the latter is easier to match in a robust way.

Fixed a badly defined pattern match

Allow you to say :unset -f<flag> (see #1328)

overhaul :help, group the debugging commands together

let you :show things that you can :set (e.g. args, prog etc.)

improvements to :history
:hist <n> displays at most the last <n> steps (default 20).

FIX BUILD (non-profiling RTS was broken in previous patch)

FIX parsing of Haddock comments (broken by me in the previous patch)

FIX: #1227 (biographical profiling broken)
We were freeing the hash table storage with exitHashTable() before
calling endProfiling(), which uses hash tables.

FIX crash on exit with biographical profiling
Seems to be a bug introduced by code to free the memory allocated by
the heap profiler.

FIX profiling :-(

Improved VectInfo
- We need to keep pairs of (f, f_CC) in VectInfo as it is difficult
  to obtain Names from OccNames (of imported modules) in Core passes.
- There is a choice of keeping Names or Vars in VectInfo.  We go with Vars
  for now; mainly to avoid converting between Names and Vars repeatedly for
  the same VectInfo in other than one-shot mode.

  Again goes to the HEAD straight away to avoid conflicts down the road.

OccNames for closure conversion

add defaultObjectTarget to the GHC API
We had no way of getting the right value of HscTarget to use to
request object files as output.

Make let-floating work even if there are big lambdas in the way

This patch generalises the let-floating transformation in a way
suggested by Roman and Manuel when doing closure conversion.

There are extensive comments in Note [Floating and type abstraction],
which begins thus.  Consider this:
x = /\a. C e1 e2
We'd like to float this to
y1 = /\a. e1
y2 = /\a. e2
x = /\a. C (y1 a) (y2 a)
for the usual reasons: we want to inline x rather vigorously.

(Further commennts follow in SimplUtils.)

The implementation is not hard; indeed it used to be in GHC years ago.
I removed it thinking that full laziness would achieve the same
effect, but I'm not sure it does; and in any case it seems more direct
to do it here.

The transformation should not make anything worse, so yell if
you see anything unexpected happening.

Fix comments on HsWrapper type

Document -fspec-threshold

This size-threshold flag is for both liberate-case and SpecConstr.

Replaces -flibereate-case-threshold.

FIX Trac #1332: make isStringTy work right

For some ancient reason, TcType.isStringTy was treating newtypes as
transparent, which is quite consistent with isIntTy, isBoolTy etc.
(I think the reason is that isStringTy was written to go with isFFIDotNetTy,
which deals in representation types.)

Anyway, this inconsistency is Utterly Wrong when called from
Inst.shortCutStringLit, and that made tc224 fail.  I can't think how
it ever succeeded.  Maybe it never did!

Anyway this fixes it. It may be that .NET FFI calls are not quite as
permissive, but they are almost certainly broken in more serious ways,
so I'm going to jump that bridge if we come to it.

FIX print020: conversion of case expressions of type 'Any' was wrong
All primitive types were getting PrimAlts, where actually case
expressions on 'Any' should get a PolyAlt.  The result was that seq on
Any compiled into a no-op, which caused :force to go into an infinite
loop.

FIX: #1253 (Can't use non-layout at top level)

properly fix leakage of Haddock comment syntax (see #1091, test: read044)

Add VectInfo to HPT

  I am putting this patch (as the previous VectInfo patch) straight away
  into the head to avoid the kind of merging disaster we had with the FC
  branch.  The patch does not interfere with any other functionality and
  hence should cause no harm in the head.

FIX #1155: ghci -debug generates slightly odd message

FIX Trac #1329: spelling error

Build arrows library if available

arrows is the only library in libraries/extra-packages not built when present

fix exit code of ghci -e "return ()"
This should result in successful program termination. Not doing this
breaks checking the exit code of  runghc Setup.lhs build  for example.

Extend hptInstances to also cover family instances

IfaceVectInfo and propagation through EPS

Added VectInfo to ModGuts

Handle ParStmt in collectStmtBinders; fixes tcrun013(ghci) failure

Don't print parens around list comprehensions

Tweak ... generation
Avoid:
    let x ...
i.e. always put the = in:
    let x = ...

Tweak the ... generation

Panic properly if wrongKindOfFamily is given an unexpected family
Used to just give a "Non-exhaustive patterns" failure

The libraries/* directories themselves are boring, as well as their contents

libraries/filepath/ is boring

Warning police

Make -frewrite-rules into a dynamic flag; off for -O0

Argubly rewrite rules should not fire with -O0, and it turns
out that when compiling GHC.Base with -O0 we get a crash if
the rewrite rules do fire (see Note [Scoping for Builtin rules]
in PrelRules).

So unless someone yells, rewrite rules are off with -O0.

The new (now dynamic) flag is
    -frewrite rules (with -fno-rewrite-rules to disable)

The old (static) flag -frules-off is gone.

Improve printing of "..." in HsExpr; fixes a stupidity in my earlier change

Fix the pruning of dead case alternatives

This fixes Trac #1251; test case is gadt/CasePrune

GHC was being over-eager about pruning dead alternatives from case
expressions, and that led to a crash because the case expression
ended up with no alternatives at all!

See the long comments Note [Pruning dead case alternatives] in Unify.

Warning police

isDataTyCon should be False for all type families, even data type families

isDataTyCon advertises that it's true of "data types that are
definitely represented by heap-allocated constructors.  These are
srcutinised by Core-level @case@ expressions, and they get info tables
allocated for them."

Type-family TyCons never have this property, not even data type families.
It's the *instance* TyCons that do.

I hope that this change does not break anything that somehow relied
on the old (wrong) semantics.

Fix dependency information for RULES

A SpecInfo (inside IdInfo) keeps track of the free variables of a RULE
so that the occurrency analyser knows about its dependencies.

Previously it was only tracking the *rhs* free vars, but it should
really include the *lhs* ones too.  See Note [Rule dependency info]
in IdInfo.

This fixes a WARNING when compiling some libraries.

Less voluminous debug

Remove "__" prefix for forall when printing a RULE

Add the -ddump-mod-cycles flag to the user manual

Fix truncate on amd64 NCG; fixes arith005.
cvts[sd]2siq? ->
cvtts[sd]2siq?

Add missing libraries/Makefile dependencies on ifBuildable/ifBuildable

Use a primop for getting the fields of the AP_STACK rather than an FFI call
This means we can avoid some StablePtrs, and also catch cases where
the AP_STACK has been evaluated (this can happen with :history, see
the hist001 test).

improve the :list command
Now you can list source code in various ways:
  :list <line>
  :list <module> <line>
  :list <function>

Add a little documentation to the libraries/Makefile

Only touch the configure stamp if configure succeeds
We don't touch $@ if configure failed as we would prefer to try
configuring it next time round, rather than assuming it'll still fail.
This is particularly important for corelibs, where failure means the
build dies!

Add history/trace functionality to the GHCi debugger

The debugger can now log each step of the evaluation without actually
stopping, keeping a history of the recent steps (currently 50).  When
a (real) breakpoint is hit, you can examine previous steps in the
history (and their free variables) using the :history, :back and
:forward commands.

use extendInteractiveContext instead of custom code

cancel out some reverses by changing the order of ic_tmp_ids

use the reader part of the monad for the inScope set

Make coreSyn/CoreUtils.lhs compile
Use the right number of arguments in a panic case.

Make boot handle getting the libraries

Remove references to -fticky-ticky flag

-ticky is the command-line flag for ticky-ticky profiling now, but
internally, the -fticky-ticky flag was used to represent whether ticky
was on. This led to link errors if the user supplied -fticky-ticky but
not -ticky (ticky code would be generated but the wrong RTS library
would be passed to the linker). I removed references to -fticky-ticky
-- now, only the way flags dictate whether ticky is on, and
-fticky-ticky is no longer accepted as a command-line option.

Comments, plus type sigs