Fix Trac #3219: type of a record update

Record updates are amazingly hard to typecheck right.  This is one place
where GHC's policy of typechecking the original source is much harder than
desugaring and typechecking that!

Anyway, the bug here is that to compute the 'fixed' type variables I was
only looking at one constructor rather than all the relevant_cons

Test is typecheck/should_compile/T3219, which GHC 6.10 barfs on (with Lint).

Add comments

Link the rts shared libs against gmp and the other C libs
When using shared libs we should link each lib against its deps. This allows
the dynamic linker to chase dependencies and means we do not have to specify
all indirect dependencies (as we must do for static libs).

Make ghc -dynamic imply -fPIC for C code
As is already the case for ghc -fPIC. This is needed because ghc -dynamic
means to generate code that is capable of being linked to Haskell shared
libs and for C code the equivalent is -fPIC. Normally C code does not need
-fPIC merely to link to shared libs however Haskell shared libs do not
follow common conventions. In particular the static data cannot be
referenced statically because it cannot be copied by the static linker.
The linker cannot copy them because we do not specify a .size for the
_closure entries (in the .data section) though in principle we could.

validate does "exit 1" if it fails

fix warning

remove old unused fop/dvips/xmltex stuff

build Haddock docs

enable LinkDynLib in compilier phase

expand hack to include PS docs too

stub Makefile

GhcBootLibs is no more

updates to the section describing the  +RTS -s/-S output (#3211)

multi-slurp protection

Improve error messages for type functions

Following a suggestion of Claus Reinke, this patch improves the error
messages involving type functions.  Here's the relevant note from TcTyFuns.

Note [Non-injective type functions]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
It's very confusing to get a message like
     Couldn't match expected type `Depend s'
            against inferred type `Depend s1'
so pp_open_tc adds:
       NB: `Depend' is a (non-injective) type function

Currently we add this independently for each argument, so we also get
     Couldn't match expected type `a'
            against inferred type `Dual (Dual a)'
       NB: `Dual' is a (non-injective) type function
which is arguably redundant.  But on the other hand, it's probably
a good idea for the programmer to know the error involves type functions
so I've left it in for now.  The obvious alternative is to only add
this NB in the case of matching (T ...) ~ (T ...).

stub makefile

Hack to make the user's guide build in a linked build tree
See comment for details

make it so that 'make html', 'make pdf', and 'make ps' work for docs

correct the +RTS -? docs for -A (default is 512k not 256k)

Use a more compact +RTS -s output for Tasks

                        MUT time (elapsed)       GC time  (elapsed)
  Task  0 (worker) :    0.00s    (  0.00s)       0.00s    (  0.00s)
  Task  1 (worker) :    0.00s    (  0.01s)       0.00s    (  0.00s)
  Task  2 (worker) :    0.00s    (  0.03s)       0.00s    (  0.00s)
  Task  3 (bound)  :    0.00s    (  0.00s)       0.02s    (  0.04s)

disable a warning

docbook PDF item is done

add a .c --> .s rule

Remove libraries/ifBuildable.hs; it's no longer used

Fix configure

Build system tweak

Add a Makefile in libraries/

Tweak ./boot

Partially fix "make framework-pkg"
We still need to sort out the "install-docs" story to get this working
properly.

Handle deciding what docs to build better
Now we have variables for whether or not to build the docbook docs as
HTML, as PS, and as PDF. The configure script output now matches what
the build system will do (except it cannot take account of any
mk/build.mk settings, of course).

Remove oldconfig.mk.in

Rename pwd to ghc-pwd

Remove pwd's Makefile from the old build system

Clean utils/pwd

Use more portable shell in ./boot; fixes booting on Solaris

Simplify utils/pwd
We only need the forwardslash mode now, so always use that mode and
don't accept any arguments.

More rules for bootstrapping

Bootstrapping fix

Bootstrapping fixes

Test "ghc-pkg check" passes in bindisttest
Also fixes it so that it really does pass (we weren't substituting the
GMP variables in the RTS package config).

Put install-sh into bindists

Test bindists in a deeper subdirectory
configure looks for install-sh in . .. ../.. and we don't want it to
find the build system's install-sh.

Use "-x c" when compiling hc files

Makefile rules tweak for BootingFromHc

More bootstrapping rules

Add a .hc building rules for bootstrapping

Tweak rts ghc.mk for bootstrapping

Add a build system TODO

Add dph to build system; patch from Roman Leshchinskiy

Fix building without GHCi

Makefile tweak

add publish-binary-dist; tidy up

Fix make for libffi again, properly this time
No idea how the last patch managed to pass validate.

Fix parallel make for libffi.
I didn't realise make can invoke the same action multiple
times in parallel if the rule has multiple targets. So go
back to using a build stamp file.

Fix linking shared libs with parallel make
Unlike with static libs, when linking shared libs the dependencies
have to already exist. Add a dependency $1_$2_$3_LIBS : $1_$2_$3_DEPS_LIBS

Fix building Haskeline on Windows

Fix mkdependC: Make it tell cpp to use our temporary filename

FIX build: add dependencies on ghc_boot_platform.h

Prevent haddock docs being built when HADDOCK_DOCS=NO

Clean up building of libffi for dynamic lib way
And depend on it at the top level when we're using dynamic libs.

Build library packages as shared libs
when we configure ghc with --enable-shared

Build the rts as a shared lib correctly
That is, build it as a .so/.dll rather than as libHSrts_dyn.a

Don't actually build ghc itself with -dynamic
For now, with --enable-shared we'll build the libs shared,
but ghc itself will still be statically linked.
In any case, we would want to be able to build it both
ways so it's easy to test both.

Add a new $way_libsuf variable for library suffix+extension
This allows the library file type to depend on the way. This is needed
to use .so/.dll libs for the "dyn" way rather than always using .a libs.
For example: thr_debug_dyn_libsuf="_thr_debug-ghc6.11.20090426.so"

extend the rules/c-objs macro to take the way as a parameter
Previously we only built library package "cbits" the vanilla way, afterall
C code does not need to be built differently for profiling builds. However
for dynamic libs the C code needs to be built with -fPIC, so we do need
to be able to build package .c (and .s?) files multiple ways.

Do not link ghc stage1 using -threaded, only for stage2 or 3
We link stage1 using the bootstrapping compiler and there's
no guarantee that it has working support for threaded

Tweak ghc-cabal

Add special support for haskeline
The library uses stuff in Setup.hs to determine whether or not it needs
to use -liconv. This patch replicates that logic in ghc-cabal. This
isn't pretty, and we should find a better way to do it, but it works
for now.

In mkdependC.prl, create temp files properly
Avoids a race condition, where one run deletes/overwrites the temp file
of another.

Use haskeline, rather than editline, for line editing in ghci

Fix error handling
After the fix to #2500, we could get "Failing due to -Werror." but no
warnings printed. Now we don't fail in that case.

move nofib settings here from ghc's config.mk

add missing eventlog subdir

move runstdtest into nofib

improve the finalizer callback error message

Add a header to all build system files:

# -----------------------------------------------------------------------------
#
# (c) 2009 The University of Glasgow
#
# This file is part of the GHC build system.
#
# To understand how the build system works and how to modify it, see
#      http://hackage.haskell.org/trac/ghc/wiki/Building/Architecture
#      http://hackage.haskell.org/trac/ghc/wiki/Building/Modifying
#
# -----------------------------------------------------------------------------

more cleaning

todo updates

remove commentary that is now in the wiki

remove ticket todos

require gcc 3.0+ (see #2770)

update build order comment

Equality constraint solver is now externally pure
- This patch changes the equality constraint solver such that it does not
  instantiate any type variables that occur in the constraints that are to be
  solved (or in the environment).  Instead, it returns a bag of type bindings.
- If these type bindings (together with the other results of the solver) are
  discarded, solver invocation has no effect (outside the solver) and can be
  repeated (that's imported for TcSimplifyRestricted).
- For the type bindings to take effect, the caller of the solver needs to
  execute them.
- The solver will still instantiate type variables thet were created during
  solving (e.g., skolem flexibles used during type flattening).

  See also http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSolving

Improve the error message when we find a module in 2 places; trac #3183

Remove a comment (a bug to close, that has now been closed)

GHC new build system megapatch

Fix SPARC build, missing #include

Fix a lint failure when we have a  ! (# ... #)  pattern in a where clause
This showed up when converting ds057 to follow the new bang pattern rules,
in #2806.

Do the second part of #2806: Disallow unlifted types in ~ patterns

Tiny refactor

Require a bang pattern when unlifted types are where/let bound; #3182
For now we only get a warning, rather than an error, because the alex
and happy templates don't follow the new rules yet.

Don't short out top-level indirections if there's a INLINE/NOINLINE pragma

The top-level indirection-shorting, done in SimplCore.shortOutIndirections,
was accidentally nuking a NOINLINE pragma.  This patch adopts a slightly
more conservative approach to indirection-shorting, only doing so if
we do not thereby overwrite or lose some user-supplied pragmas.

Fix #3182: 64 bit FP value returned by C calls was getting trashed
   movss instruction was being used to move the result into the
   destination register instead of movsd

add missing files (part of #3171 fix)

Tiny optimisation to mkInlineMe

Add EVENT_CREATE_SPARK_THREAD to replace EVENT_SPARK_TO_THREAD
Also some tidyups and renaming

add getOrSetSignalHandlerStore, much like getOrSetTypeableStore
Part of the fix for #3171

don't overwrite io_manager_pipe if it is already set
Part of the fix for #3171

Simplify the placeholder binding for naughty record selectors

Fix Trac #3176: intercept naughty record selectors

When making record selectors into ordinary functions (rather than
magial implicit Ids) I forgot that they could therefore show up in
the *local* TcEnv, not the global one.  This fixes that problem,
and thereby Trac #3176.