cvReconstructType: a faster, types-only version of cvObtainTerm

FastMutInt - make #endif be inside \{code} to match #ifdef

FastTypes - delete ugly _signatures, comment on Bool not FastBool where the typechecker will not catch it

FastTypes - note strictness of fast{Or,And} and make the unboxed versions so

fix non-GHC-specific variant of FastTypes
I tested FastTypes.lhs with hugs (manually using cpp) as well as ghc.

Rewrite the unsafe code dealing with unboxed primitives in RtClosureInspect

Closure uses now a list of Words instead of a ByteArray# to store the non ptrs.
Term.Prim follows this and keeps the [Word] value instead of storing the
Show representation, which wasn't the best idea anyway.

This fixes test print022

Avoid the need to rerun configure when we install
This also means we don't need to carry around 10s of megs of Setup
executables in bindists.

'import M' is now the same as ':module +M' at the prompt
Seemed like a reasonable thing to do, and only 1 line

FIX: break011.
Reset the exception flag before re-throwing the exception unless it
was "Interrupted".  This avoids needing the double :continue for
ordinary exceptions, but still lets us break on ^C.

improve break-by-coordinate
when setting a breakpoint by coordinate, if there are no spans
covering the specified coordinate, then we take the leftmost of the
spans to the right of the coordinate.  This means that ':break c' will
work if c is not a function, because the first span will be on c's
right hand side.

On Windows, don't try to use ANSI bold sequences.
Instead we identify the active expression with a line of ^^^^^^^
underneath it.

rethrow exceptions in sandboxIO
This gives us a chance to catch asynchronous exceptions (e.g. ^C) and break.

eliminate warnings

xref to the docs for +RTS -xc

FIX #767 (withMVar family have a bug)
We never want to raise a StackOverflow exception inside
Control.Exception.block, because the user has no reasonable way of
handling it, and it invalidates some useful guarantees.

remove old comments and commented-out code

Update the panic msg from #1257 to be an ordinary error, not a panic
We don't support arbitrary unboxed tuples in GHCi right now.

autodetect BINDIST_DOC_WAYS again

FIX #1052 (NCG doesn't realise shift instructions trash shifted input)
See comments with shift_code

Add dist/ to $(PublishLocation)
The docs were going in the wrong place before:
..../dist/docs instead of ..../docs

remove _split and autogen dirs for binary-dist

fix ordering in :help

complete documentation of the GHCi debugger

add :cmd
:cmd <expr> executes <expr> :: IO String, takes the resulting string
and executes it as a sequence of commands.  This is useful for doing
macro-ish things with ":set stop", for example.

Rework the GHCi debugger docs
I've taken material from Bernie's docs on the wiki, and Pepe's docs in
this file, and added some more material of my own.  Still to do:
document the individual commands.

add a comment

raise#: break *after* stripping the stack, not before
This means that thunks under evaluation will have been updated with
the exception when we come to inspect them in GHCi.  Blackholes are
much less friendly.

Add a missing semicolon causing publish-binary-dist to fail

FIX BUILD Use the right find on Windows systems; fixes bindist creation

later mingw runtimes have gettimeofday, it seems

'let' expressions: fix scope of the binders (see test break014)

Avoid some unnecessary ticks in debugging mode

comment out unused definition

FIX BUILD for way=u in RTS

FIX BUILD with ghc-6.2.x

Add a missing backslash that was breaking building bindists

GHCi debugger: new flag -fbreak-on-exception

When -fbreak-on-exception is set, an exception will cause GHCi to
suspend the current computation and return to the prompt, where the
history of the current evaluation can be inspected (if we are in
:trace).  This isn't on by default, because the behaviour could be
confusing: for example, ^C will cause a breakpoint.  It can be very
useful for finding the cause of a "head []" or a "fromJust Nothing",
though.

small performance improvement: unbox some fields

result_id should be a GlobalId

Fix invalid simplification I made while moving the libraries bindist stuff

Iface representation of synonym family instances

  ** This patch changes the interface file format.  All libraries etc **
  ** need to be compiled from scratch.                                **

Added -ftype-families to the user's manual
- This adds the option to the flag reference and puts a stub pointing to the
  Haskell wiki page about type families into the section about type extensions.
- Once, the implementation has stabilised, the material from the wiki page
  will be integreated into the user's manual.

Add filepath modules to compat/

-findexed-types -> -ftype-families
. This change tracks our current terminology.  It'll break all programs
  using the old option, sorry.  But this has only been an experimental
  feature in the HEAD so far.

remove accidentally-committed change

fix for Vista workaround: "PATH" can be spelt "Path"

Revised signature of tcLookupFamInst and lookupFamInstEnv
- This changes the signature of FamInstEnv.lookupFamInstEnv and
  FamInstEnv.lookupFamInstEnvUnify in a manner similar to SPJ's
  previous patch for InstEnv.llokupInstEnv
- tcLookupFamInst now permits the lookup of instances that are more
  general than the type instance requested.

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