Added 'return' to C--, and made arguments to 'jump' into CmmExpr

Typo fix in a comment.

Fixed liveness analysis to use a slower but more correct solution

Hooked the C-- CPS pass into the compilation pipeline
At present it just annotates each block with a comment
indicating what local registers are live at the start
of the block.

Added compiler/cmm/Dataflow.hs
Dataflow.hs contains an early draft of the live variable analysis.
This draft contains known bugs and is being recorded only to provide
a point to be revert back to if necessary.

Generate .LC_ indirection-symbols also on x86_64 (as on all other archs running Linux)

Restrict .type directives to Linux targets only

Have the users guide just refer to the wiki page on how to report a bug

Try harder to avoid making a variable with RULES into a loop-breaker

See Note [Recursive rules] in OccurAnal

Remove the large ghci banner, and the flags to choose which banner to show
Fans of the banner can add
    putStrLn "   ___         ___ _"
    putStrLn "  / _ \\ /\\  /\\/ __(_)"
    putStrLn " / /_\\// /_/ / /  | |   GHC Interactive, for Haskell 98."
    putStrLn "/ /_\\\\/ __  / /___| |   http://www.haskell.org/ghc/"
    putStrLn "\\____/\\/ /_/\\____/|_|   Type :? for help."
    putStrLn ""
to their ~/.ghci

Print the right usage message
The logic for printing the ghc and ghci usage messages was inverted.
However, the ghci case will never actually happen with the current code,
as we print a usage message when cli_mode == ShowUsage and choose the
ghci usage message if cli_mode == DoInteractive. This should be fixed
as part of a larger options handling overhaul.

-fasm doesn't really take an argument

clean installPackage too

FIX #1471: print strings using Haskell quoting syntax

Need to build filepath before directory

Tidy up -keep* flags

Improve loop-breaker scoring in OccAnal (idea from Roman)

See Note [Closure conversion] in OccurAnal for details of this
patch (which merely involves *deleting* a test!).  The test case
was produced by Roman, and shows up when doing closure conversion
and vectorisation for data parallelism.  But perhaps other times too.

Many comments about oclose, plus a fix for Trac #1456

There was a rather subtle bug in the way 'oclose' works when
generalising top-level function definitions.  See
Note [Important subtlety in oclose]
in FunDeps for an explanatoin.

I also tidied up duplication in comments while I was here.

Improve error message (Trac #1446)

Fixing hpc tools for 6.2 and 6.4

Refine printing of names in unification mis-match

Improve name-printing on unification mis-matches, when types share a common occurrence name

This improvement arose from a suggestion in Trac #1465

Add flags for record extensions; still not working properly though

FIX BUILD: we need --exclude-module Trace.* too

unbreak "recompile utils with stage 1"

Checking that type indexes contain no synonym family applications

RHS of a type instance must be a tau type

Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
  equal under the overlap substitution.  (Ie, we admit limited overlap, but
  require the system to still be confluent.)

Further compileToCore improvements

Per suggestions from Simon M:

* Changed GHC.checkModule so that it doesn't call depanal.
* Changed GHC.checkModule to optionally return Core bindings
as a component of the CheckedModule that it returns (and
resulting changes to HscMain.hscFileCheck).
* As a result, simplified GHC.compileToCore and changed it
to load the given file so that the caller doesn't have to.

Fixed a documentation error

disable .type directives on Windows; they confuse mingw's assembler

Set .type @object for all global symbols in NCG

When linking against a dynamic library, the linker will emit a warning
if no type information is present within the library. We generate the
most trivial type for all externally visible labels, namely @object.

Also make proper references when not using fPIC but linking against dynamic libs

Generate RelocatableReadOnlyData as .data

The GNU linker expects read-only sections to be relocation
free. Presumably because the dynamic linker maps all read-only
sections as read-only mmaps and hence can't do relocations.

If we want text-relocation-free shared libraries we have to put all
relocations into writable sections, hence .data.  See
http://www.mail-archive.com/cvs-all@haskell.org/msg15119.html

Generalize linkDynLib for ELF platforms

To create a dynamic shared object (DSO) on ELF platforms, we invoke
"gcc -shared". This in turn invokes ld. We supply -Bsymbolic to the
linker, as "ld -Bsymbolic -shared -o <lib> <objs>" resolves all
references from <objs> to <objs> at library creation time.

See http://hackage.haskell.org/trac/ghc/wiki/Commentary/PositionIndependentCode

Renames functions and constructors to fit their new ability for dynamic linking
function: staticLink -> linkBinary (will link non static binaries too)
function: doMkDLL -> linkDynLib (as we can link on ELF too where DLL is an inappropriate term)
constructor: MkDLL -> LinkDynLib

PprMach.hs more accurate hack for x86-64, CmmLabelOff is not a relative reference.

CmmLabelDiffOff are generated in .text and if printed as .quad, causes
the assembler to emit a PC64 relocation. binutils prior to 2.17 don't
understand PC64 relocation properly.

pprDataItem is also used for printing SRT description tables. They are
part of the .data section and there no PC relative relocations are
emited. Hence, if we print a .long here, we get a absolute 32-bit
relocation. 32-bit relocations are problematic in dynamic libraries,
because dynamic library load addresses are loaded beyond the 32 bit
boundary, causing the dynamic linker to warn at dynamic linking
(loading the executable) that there are overflows in the
relocation. The executable still seems to work because of the small
memory model, but this is obviously wrong. Hence, remove CmmLabelOff
from the classification, causing these references to be printed as
.quad, causing correct 64-bit relocation as in the rest of the .data
section.

So, this hack now prints PC32 relocations in .text (mostly in the info
tables), and absolute 64-bit relocations in .data.

Fix typechecking bug with implicit parameters (Trac #1445)

tcSplitFunTy_maybe wasn't dealing with types like
(?x::Bool) => Int
Here, tcSplitFunTy_maybe should fail (as it would if there
was a for-all), because the type is a quantified type.

See Trac #1445, and test tc230.

White space only

Improve error message when there is instance overlap

Modify compileToCore to take just a filename

Modified compileToCore to take just a session and a
filename, rather than a module name as well, since the module
name can be computed from the filename.

making hpc live

+RTS -xbXXXXX sets the "heap base" to 0xXXXXXX
When debugging the GC and storage manager we often want repeated runs
of the program to allocate memory at the same addresses, so that we
can set watch points.  Unfortunately the OS doesn't always give us
memory at predictable addresses.  This flag gives the OS a hint as to
where we would like our memory allocated.  Previously I did this by
changing the HEAP_BASE setting in MBlock.h and recompiling, this patch
just adds a flag so I don't have to recompile.

+RTS -V0 disables the interval timer completely (for repeatable debugging)

FIX BUILD (on Windows): follow changes to make threaded RTS compile with -fasm

Fix names of coercions in newtype instances
- Thanks to Roman for spotting the problem.

Cleaning up Hpc.c; adding support for reflection into Hpc.

Fixing Makefile hpc to use compat

Adding Tix to compat library, so that hpc in utils can use it

fixing creation of directory for html output; fixing html markup for 0% bars.

Fixing -fhpc flag to allow -fno-hpc

Fixed deriving of associated data types
- We forgot to pull the data declarations nested in class instances out of
  the instances when collecting all the predicates that we need derive.
  Thanks to Roman for spotting this.

add missing case for compiling 64-bit operations on x86

Make the threaded RTS compilable using -fasm
We needed to turn some inline C functions and C macros into either
real C functions or C-- macros.

x86_64: fix a few bugs in the >8 floating point args case

make inplace scripts less sensitive to /bin/sh quoting by avoiding \

excluding Trace.Hpc.* when using the compat library

Making -fhpc work with a stage1 build, via the compat 'package'.

Adding hpc lib as part of the compat 'package'

Cleanup Hpc sub-system, remove hpc-tracer implementation.

Add a compileToCore function to the GHC API

Added a compileToCore function to the GHC API that takes a
  session, module, and filename, and returns a list of Core
  bindings if successful. This is just a first try and could
  probably be improved (for example, there's probably a way to
  get the filename from the module so that it doesn't have to
  be passed in, I just don't see it offhand.)

Define SUBDIRS in Makefile (needed for clean; fixes trac #1440)

Tweak the configuration and installation slightly
Make it so that the documentation ends up where Cabal expects it to be
on Windows (prep-bin-dist-mingw used to move it).

withExtendedLinkerState: don't revert the whole state
Fixes test failures print017 and print024

Print infix type constructors in an infix way

Fixes Trac #1425.  The printer for types doesn't know about fixities.
(It could be educated to know, but it doesn't at the moment.)  So it
treats all infix tycons as of precedence less than application and function
arrrow.

I took a slight shortcut and reused function-arrow prededence, so I think
you may get
T -> T :% T
meaning
T -> (T :% T)

If that becomes a problem we can fix it.

Clamp -O flag to beween 0 and 2

Fixes Trac #1272

Adding hpc tools, as a single program.

Update version numbering policy in the users guide

Fix an error message
`y' in the error message
    `x' is not a (visible) method of class `y'
had gone missing.

turning off -fhpc in stage1 built ghc

removing -fhpc-tracer from ghc, is subsumed by the GHC debugger

Stage2 now used the package hpc to get the hpc datastructures
Stage1 no longer supports hpc (-fhpc is ignored)

Fix typo in Makefile

Adding hpc package to ghc core libraries

Change how the libraries Makefile adds --configure-option= flags; fixes #1431
We now assume that each configure option is quoted with '', and thus
replace " '" with " --configure-option='".

update with new libraries

FIX BUILD on Windows: horrible hack to work around make(?) bug

FIX BUILD (on Windows): Cabal must invoke compiler/stage1/ghc-inplace
not compiler/ghc-inplace, which is a symlink.

remove unnecessary cruft

FIX BUILD: all builds need --template, not just Windows

ignore all but the last --template option

Unbreak the stage-2 compiler (record-type changes)

-fglasgow-exts implies -X=GADTs

FIX read040: patterns with type sig on LHS of do-binding

f () = do { x :: Bool <- return True; ... }

For some reason the production for 'pat' required 'infixexp' on the
LHS of a do-notation binding.  This patch makes it an 'exp', which
thereby allows an expression with a type sig.

Happily, there are no new shift-reduce errors, so I don't think this
will break anything else.

Another wibble to the head-exploded error message (suggested by David Roundy)

Use the correct flag for controlling scoped type variables in an instance decl

Improve 'my head exploded' error message

FIX BUILD: add missing prime!

FIX BUILD on Windows: horrible hack to work around make(?) bug

yet more fixes: Cygwin broke this time

fix bugs with hsc2hs-inplace

mk/build.mk is optional

further fixes to the inplace scripts

use a binary for hsc2hs-inplace too

Fix problems with new inplace stuff on Cygwin

FIX BUILD: can't build the makefiles during make boot

clean up lib/{GNUmakefile,Makefile.local}

default_target should be "all", not "build"

add comment

Fix a problem with package.mk being included too early