Pass configure arguments to the library configure scripts

Add support for breaking by function name: ':break foo'
This is a bit hacky; it grabs the source location from the Name and
tries to set a breakpoint at that location, which in most cases
should be the breakpoint covering the whole definition.

improve completion for debugger commands

unused import

Restore the interactive context when resuming a breakpoint
So that we don't accumulate bindings from previous breakpoints, which
could lead to a space leak.

remove dead code

add ':show context' which lists the current stack of breakpoint contexts

handle out-of-range lines in :break more gracefully

small cleanup: showForUser -> printForUser, eliminate some duplicate code

Check we have all the corelibs when we boot

add missing module

Various cleanups and improvements to the breakpoint support

  - move parts of the debugger implementation below the GHC API where
    they belong.  There is still more in Debugger that violates the
    layering, hopefully I'll get to that later.

  - instead of returning an IO action from runStmt for resuming,
    return a ResumeHandle that is passed to GHC.resume.

  - breakpoints now return [Name] which is displayed in the same
    way as when a binding statement is executed.

  - :load, :add, :reload now clear the active breakpoints and context

  - :break gives a sensible error when used on a non-interpreted module

  - export breakpoint-related types from GHC

  - remove a bunch of layer-violating imports from InteractiveUI

  - remove some more vestiges of the old breakpoint code (topLevel in
    the GHCi state).

  - remove TickTree and use a simple array instead, cached per module

add module header

remove extraneous "+1"; column numbers start at zero

Add distclean target for libraries/ (== clean target)

Distinguish between userError (i.e., deliberate failure) and other immediate and embedded exceptions for TH splices for trac #1265

Re-working of the breakpoint support

This is the result of Bernie Pope's internship work at MSR Cambridge,
with some subsequent improvements by me.  The main plan was to

 (a) Reduce the overhead for breakpoints, so we could enable
     the feature by default without incurrent a significant penalty
 (b) Scatter more breakpoint sites throughout the code

Currently we can set a breakpoint on almost any subexpression, and the
overhead is around 1.5x slower than normal GHCi.  I hope to be able to
get this down further and/or allow breakpoints to be turned off.

This patch also fixes up :print following the recent changes to
constructor info tables.  (most of the :print tests now pass)

We now support single-stepping, which just enables all breakpoints.

  :step <expr>     executes <expr> with single-stepping turned on
  :step            single-steps from the current breakpoint

The mechanism is quite different to the previous implementation.  We
share code with the HPC (haskell program coverage) implementation now.
The coverage pass annotates source code with "tick" locations which
are tracked by the coverage tool.  In GHCi, each "tick" becomes a
potential breakpoint location.

Previously breakpoints were compiled into code that magically invoked
a nested instance of GHCi.  Now, a breakpoint causes the current
thread to block and control is returned to GHCi.

See the wiki page for more details and the current ToDo list:

  http://hackage.haskell.org/trac/ghc/wiki/NewGhciDebugger

remove the ITBL_SIZE constants which were wrong, but fortunately unused

con_desc should be an OFFSET_FIELD

fix building with pre-6.4

Change tabs to spaces in string literals

Remove whitespace, mostly tabs, from string literals

MERGE: another attempt at a workaround for #1110 (Vista bug)
now instead of setting GCC_EXEC_PREFIX, we just add the appropriate
gcc-lib directory to the front of PATH before invoking gcc.

MERGE: Fix a few uses of the wrong return convention for the scheduler
We changed the convention a while ago so that BaseReg is returned to
the scheduler in R1, because BaseReg may change during the run of a
thread, e.g. during a foreign call.  A few places got missed,
mostly for very rare events.

Should fix concprog001, although I'm not able to reliably reproduce
the failure.

stm doesn't need to be a core-package

Split objects when building libraries (if SplitObjs is YES)

tab, verttab, formfeed, and CR are not allowed in strings
See #1277

Add missing special case for GHC.Prim
The special cases for GHC.Prim are a bit fragile.  We were relying on
(a) the base package to be already registered and (b) the base package
not to be hidden.  These used to be true with the old library build
system, but aren't true now.  I'm still not sure why we aren't seeing
failures at the moment, but this patch at least fixes the build with
'setup makefile'.

Don't try to install docs stuff if NO_HADDOCK_DOCS=YES

Implement ifBuildable
ifBuildable only runs a command it is given if the library in . either
must be built (core-package - readline) or is buildable.

make opt_HiVersion an Integer instead of Int to prevent overflow

When a snapshot version number is included, opt_HiVersion tends to exceed the range of a 32bit Int.

MERGE TO STABLE

Allow ProjectTags to be specified in mk/build.mk
ProjectTags is expected to be of the form -tag1-tag2 (i.e. the same as
Cabal tags). These are appended to the GHC version number.

Fix a typo related to i386 PIC code generation

A recent patch accidentally had x86_TARGET_ARCH instead of i386_TARGET_ARCH.

Darwin/x86_64 linker support

Initial support for loading x86_64 Mach-O files

autoreconf -> sh boot

Darwin/i386 NCG: fix assembly syntax in symbol stubs

In i386 position-independent symbol stubs, the NCG used to print
jmp %edx
instead of
jmp *%edx

Apple's assembler used to silently accept this, but has recently started to print warnings about it.

MERGE TO STABLE.

Darwin Linker: Do not add local symbols to lochash
... so that GHCi doesn't complain about duplicate symbols when two C modules define the same static variable.

MERGE TO STABLE.

Handle Weak Definitions in the Darwin Linker

The __i686.get_pc_thunk symbols generated by gcc's PIC code generator are weak definitions that appear in every object file, so we need to deal with them.

MERGE TO STABLE.

Check boot seems to have been run before we let make proceed

wibble to prep-bin-dist-mingw target

tidy up the binary-dist targets a bit more

further tweak the comments

fix comment

do the right thing by default with a current mingw
and hopefully be a bit cleverer about finding things automatically.

MERGE: add prep-bin-dist-mingw to binary-dist target, and add a separate target for
 publish-binary-dist

MERGE: fixes to prep-bin-dist-mingw, and add separate rule to tar the bindist

call prep-bin-dist-mingw as part of binary-dist, before we make the tarball

Remove redundant import

Rationalise GhcMode, HscTarget and GhcLink

This patch cleans up the GHC API, and adds some functionality: we can
now compile to object code inside GHCi.

Previously we had:

  data GhcMode
    = BatchCompile
    | Interactive
    | OneShot
    | JustTypecheck
    | MkDepend

  data HscTarget
    = HscC
    | HscAsm
    | HscJava
    | HscInterpreted
    | HscNothing

There was redundancy here; if GhcMode is Interactive, then only
HscInterpreted makes sense, and JustTypecheck required HscNothing.
Now we have:

  data GhcMode
    = CompManager       -- ^ --make, GHCi, etc.
    | OneShot           -- ^ ghc -c Foo.hs
    | MkDepend          -- ^ ghc -M, see Finder for why we need this

and HscTarget remains as before.

Previously GhcLink looked like this:

  data GhcLink = NoLink | StaticLink

Now we have:

  data GhcLink = NoLink | LinkBinary | LinkInMemory

The idea being that you can have an HscTarget of HscAsm (for example)
and still link in memory.

There are two new flags:

  -fobject-code selects object code as the target (selects
                either -fasm or -fvia-C, whichever is the default)
                This can be usd with ':set' in GHCi, or on the command line.

  -fbyte-code   sets byte-code as the target.  Only works in GHCi.
                One day maybe this could save the byte code in a file
                when used outside GHCi.

  (names chosen for consistency with -fno-code).

Changes to the GHC API: newSession no longer takes the GhcMode
argument.  The GhcMode defaults to CompManager, which is usually what
you want.  To do JustTypecheck now, just set hscTarget to HscNothing.

Use "$@" rather than $* when calling things in darcs-all

Build library Setup.hs's with -Wall

parsec, regex-base, regex-compat, regex-posix are no longer core-packages

Replace genprimopcode's parsec parser with an alex+happy parser
This use was the only thing keeping parsec in core-packages, and
we already have a dependency on alex+happy anyway.

Don't use regexps in the GHC sources
3 small regexps were responsible for pulling 3 packages into core-packages.

The new code should also do a better job of hiding
"call-clobbered register used" warnings.

Use a boot script instead of having autoreconf recurse
It used to be the case that
    autoreconf
in the root would also autoreconf in any libraries that need it, and
    ./configure
in the root would also configure all the libraries.

However, cabal now configures the libraries, so they were getting
configured twice.

Thus now a small shellscript, boot, autoreconfs the root and all libraries
that need it, and ./configure in the root doesn't configure the libraries.

Tweak AC_MSG_RESULTs

Allow the version date to be overridden with VERSION_DATE

Use cp -R rather than cp -a for portability reasons

Fixes for building the libraries with cabal on Windows
* configure can be told where ld is
* make an hsc2hs-inplace.bat
* tell Setup configure about foo.bar rather than foo on Windows
* tell Setup configure to pass a --with-cc=$(CC) argument to ./configure

Fix external core syntax (though not full compilation)

This patch updates the External Core creator, pretty-printer, and parser to
agree on a concrete syntax for External Core, including the constructs
required by the change to System FC. Code to create valid ASTs from External
Core files will come later, as will bits for renaming, typechecking, and
desugaring.

Remove code that is dead, as we require __GLASGOW_HASKELL__ >= 504

Don't break when asked to install-docs
(we don't actually do anything useful either, because Cabal doesn't have
an install-docs option).

Add a comment

Make building binary dists work with cabalised libraries

Build the libraries with cabal

fix adjustor generation on ia64 (test case ffi009)

Some fixes to adjustor functions.  The 8-byte address returned by the
allocator is adjusted to be aligned to 16-byte boundaries.  Fixed a typo
in inserting an immediate address into an instruction.

This fixes the calls to 5-argument and 6-argument functions in ffi009.
Some functions still break.  I suspect it's related to passing arguments on
the stack.

save two more FP registers on ia64

Save/restore two more registers in StgCRun().  The extra
registers are used by ffi009.hs, when compiling with gcc 4.1.2.

add a safety net to avoid generating bogus code

add comments about ticky RTS ways

slight doc wibble for the -r flag

MERGE: Fix bug exposed by conc052.
A thread that was blocked on a blackhole but can now be woken up could
possibly be treated as unreachable by the GC, and sent the
NonTermination exception.

This can give rise to spurious <<loop>>s in concurrent programs, so
it's a good one to fix.

HANDLE --> (void *), we can't rely on having included windows.h here
HANDLE is defined to be (void *) anyway, so this shouldn't hurt

Fix C/Haskell type mismatches

Fix typo

Fix C/Haskell type mismatches

Make type-tidying work for coercion variables

When tidying a TyVar binder, we must tidy its kind if it's a coercion
variable!  I had forgotten to do this, which is a serious bug.  As a
result some more complicated programs were getting a Lint error when
reading in interface files.  Score one for Core Lint!

Make error message output order consistent

Fix darcs-all to be usable with shells other than bash

Fixed desugaring of parallel array comprehensions

  ** MERGE into 6.6.1 **

The ru_local field of a CoreRule is False for implicit Ids

MERGE to 6.6.1

For class-ops, record selectors, data constructors, we want the ru_local
field of the Rule to be False.  We do not attach the rule to the binding
for the Id, because there simply isn't a binding until the code gen stage.

(NB: the ru_local field is different to the orphan-hood of the rule.)

This fixes a bug that meant that RULES on class ops were never exported.

Match the type of an Id during rule matching

Please MERGE to 6.6.1

Consider this RULE
    forall (c::Char->Int) (x::Char).
f (c x) = "RULE FIRED"

Well, this should only match on arguments of the specified type
But we simply weren't checking this condition before.  Now we are.

Test is simplrun008

Add filepath library

Fix the type of wgencat

Document that ghci now adds () to the start of the type defaulting list

Refactoring in HscMain.lhs

I realized that compiling many files is just like compiling a single file
several times. This does sound a bit stupid and I wonder why I didn't
catch it before.

Typo in comment.

remove old library doc link (#1098), and point to HackageDB

Make GHC main program depend on the libHSghc_dyn when GhcBuildDylibs==YES

When building a dynamic GHC, we obviously want to build the dynamic library
libHSghc_dyn.[so|dylib] before building the compiler executable.

MERGE TO STABLE

Use a sensible set of compiler options for building dynamic libraries on Mac OS X

The official options to use for building a dylib on Mac OS X are now
-undefined dynamic_lookup -single_module -Wl,-macosx_version_min -Wl,10.3
... which should work on all arches (10.3 or later).

MERGE TO STABLE

make GHCi use base:Prelude, not just Prelude
The module that GHCi uses for its default scope should be exactly
base:Prelude, not whatever Prelude is found on the search path.

more improvements for #1119
When GHCi compiles its code framgents for setting buffering, it wants
to refer to base:System.IO rather than whatever System.IO is on the
search path, unfortunately there's no way to do this in source code,
so to hack around it we set the search path to empty before compiling
these expressions (not forgetting to flush the finder cache
afterward).

partial fix for #1119
Unless we're in one-shot mode, emit an error if we attempt to
demand-load interfaces for home modules.  This can only happen in one
way (that I'm aware of): typing a qualified name at the GHCi prompt
that refers to a module that isn't loaded.  Previously you got a
cryptic message about not finding an interface file, now you get:

Prelude> Foo.a

<interactive>:1:0:
    attempting to use module `Foo' (Foo.hs) which is not loaded

Of course you can still refer to package modules like this without
loading them explicitly, only home modules are affected, and the
behaviour is exactly the same as if you try to ':browse Foo' and
Foo isn't loaded.

remove docs for unimplemented options
-optdep--include-module and --optdep--exclude-directory were features
of the old mkdependHS script but weren't implemented when mkdependHS
was merged into GHC.

Add comments about the -include-prelude flag for ghc -M

Remove dead code from rnExpr (Var v); seems to be a leftover from some breakpoint stuff

move "boot :: all" after the include of target.mk to fix #1095

add missing progress message

Emit a decent error message when there is a decl-splice inside a decl-bracket

This fixes Trac #1065.  The fix is just to emit a decent error message
rather than crash.  The situation is this:

  f x = ... [d| $(..stuff..);
                f x = v :: T |] ...

TH wants to rename and typecheck the bracket; but it can't run the
nested splice yet.  That seems hard, because we know nothing about v, T,
which are, presumably bound by the splice.

The original TH paper says this isn't allowed, and now it's checked for
properly (in the parser, in fact) rather than causing a crash.  In the
fullness of time we might want to do something more flexible, but not now.

Wibble fixing overlapped pattern

Tidy up refactoring only