Fix #9465.

It turned out the sed(1) expressions are not fully portable.  So revist my
earlier attempt for getting GHC_LDFLAGS in the configure script and rewrite
it in Perl instead.

T8832: fix no newline at end of file warning

includes: detabify/dewhitespace rts/storage/ClosureMacros.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/InfoTables.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/Block.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/GC.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/Closures.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/TSO.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/storage/MBlock.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/prof/LDV.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/prof/CCS.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/Hpc.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/OSThreads.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/Stable.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/Threads.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace rts/Ticky.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace stg/Types.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace stg/SMP.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace stg/Regs.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace Cmm.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace HsFFI.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace Rts.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace RtsAPI.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

[ci skip] includes: detabify/dewhitespace Stg.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

Comment why the include is necessary

rts: detabify/dewhitespace LdvProfile.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Disassembler.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace RtsUtils.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace RtsStartup.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace RtsAPI.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace RtsMain.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Sparks.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace StgPrimFloat.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace StgPrimFloat.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace StgStartup.cmm

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace StgStdThunks.cmm

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace AutoApply.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Task.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Printer.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Hpc.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Apply.cmm

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/MBlock.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/GCUtils.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/GCUtils.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/GCAux.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/MarkWeak.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/BlockAlloc.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace sm/Storage.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Task.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: reflow some comments in STM.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace STM.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Trace.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Timer.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Updates.h

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Weak.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

rts: detabify/dewhitespace Ticky.c

Signed-off-by: Austin Seipp <austin@well-typed.com>

Add a missing newline to a GHCi linker debugBelch

Update a comment in base cbits

genprimopcode: Don't output tabs

Otherwise the build breaks, because its output is included in tab-free
files. See ef9dd9f.

Signed-off-by: Austin Seipp <austin@well-typed.com>

basicTypes: detabify/dewhitespace IdInfo

Signed-off-by: Austin Seipp <austin@well-typed.com>

basicTypes: detabify/dewhitespace NameEnv

Signed-off-by: Austin Seipp <austin@well-typed.com>

basicTypes: detabify/dewhitespace NameSet

Signed-off-by: Austin Seipp <austin@well-typed.com>

basicTypes: detabify/dewhitespace Var

Signed-off-by: Austin Seipp <austin@well-typed.com>

hsSyn: detabify/dewhitespace HsLit

Signed-off-by: Austin Seipp <austin@well-typed.com>

stranal: detabify/dewhitespace DmdAnal

Signed-off-by: Austin Seipp <austin@well-typed.com>

deSugar: detabify/dewhitespace DsCCall

Signed-off-by: Austin Seipp <austin@well-typed.com>

coreSyn: detabify/dewhitespace CoreSubst

Signed-off-by: Austin Seipp <austin@well-typed.com>

coreSyn: detabify/dewhitespace CoreTidy

Signed-off-by: Austin Seipp <austin@well-typed.com>

prelude: detabify/dewhitespace TysPrim

Signed-off-by: Austin Seipp <austin@well-typed.com>

simplCore: detabify/dewhitespace LiberateCase

Signed-off-by: Austin Seipp <austin@well-typed.com>

simplCore: detabify/dewhitespace SetLevels

Signed-off-by: Austin Seipp <austin@well-typed.com>

utils: detabify/dewhitespace GraphPpr

Signed-off-by: Austin Seipp <austin@well-typed.com>

utils: detabify/dewhitespace GraphBase

Signed-off-by: Austin Seipp <austin@well-typed.com>

utils: detabify/dewhitespace BufWrite

Signed-off-by: Austin Seipp <austin@well-typed.com>

simplCore: detabify/dewhitespace SAT

Signed-off-by: Austin Seipp <austin@well-typed.com>

stranal: detabify/dewhitespace WorkWrap

Signed-off-by: Austin Seipp <austin@well-typed.com>

coreSyn: detabify/dewhitespace TrieMap

Signed-off-by: Austin Seipp <austin@well-typed.com>

Comments fix to Trac #9140

Make sure that a prototype is included for 'setIOManagerControlFd'

Fix prepositions in the documentation of -rdynamic.

validate: add simple CPU count autodetection

Summary: Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

Test Plan: ran ./validate on linux

Reviewers: austin

Reviewed By: austin

Subscribers: phaskell, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D146

rts/base: Fix #9423

Summary:
Fix #9423.

The problem in #9423 is caused when code invoked by `hs_exit()` waits
on all foreign calls to return, but some IO managers are in `safe` foreign
calls and do not return. The previous design signaled to the timer manager
(via its control pipe) that it should "die" and when the timer manager
returned to Haskell-land, the Haskell code in timer manager then signalled
to the IO manager threads that they should return from foreign calls and
`die`. Unfortunately, in the shutdown sequence the timer manager is unable
to return to Haskell-land fast enough and so the code that signals to the
IO manager threads (via their control pipes) is never executed and the IO
manager threads remain out in the foreign calls.

This patch solves this problem by having the RTS signal to all the IO
manager threads (via their control pipes; and in addition to signalling
to the timer manager thread) that they should shutdown (in `ioManagerDie()`
in `rts/Signals.c`. To do this, we arrange for each IO manager thread to
register its control pipe with the RTS (in `GHC.Thread.startIOManagerThread`).
In addition, `GHC.Thread.startTimerManagerThread` registers its control pipe.
These are registered via C functions `setTimerManagerControlFd` (in
`rts/Signals.c`) and `setIOManagerControlFd` (in `rts/Capability.c`). The IO
manager control pipe file descriptors are stored in a new field of the
`Capability_ struct`.

Test Plan: See the notes on #9423 to recreate the problem and to verify that it no longer occurs with the fix.

Auditors: simonmar

Reviewers: simonmar, edsko, ezyang, austin

Reviewed By: austin

Subscribers: phaskell, simonmar, ezyang, carter, relrod

Differential Revision: https://phabricator.haskell.org/D129

GHC Trac Issues: #9423, #9284

travis: Use hvr’s multi-ghc-PPA

Check if file is present instead of directory

Fixes #8886.

Problem: any `sync-all` command that is run before the first succesfull
`sync-all get` would trigger a false warning about an old `time` package
being present.

Cause: after cloning the ghc repository, the (empty) `libraries/time`
directory is already present.

Solution: check if the directory actually contains any of the `time`
files. I picked the `LICENSE` file, since `boot` does so as well.

Signed-off-by: Austin Seipp <austin@well-typed.com>

Correct checkStrictBinds for generalised type

See Trac #9140.

Auditors: simonpj

Signed-off-by: Austin Seipp <austin@well-typed.com>

Add test case for #9046

Signed-off-by: Austin Seipp <austin@well-typed.com>

build: require GHC 7.6 for bootstrapping

Summary:
Per the usual standards, a build of GHC is only compileable
by the last two releases (e.g. 7.8 only by 7.4 and 7.6). To make sure
we don't get suckered into supporting older compilers, let's remove
this support now.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Test Plan:
Try to bootstrap with GHC 7.4, watch it fail. Bootstrap
with 7.6 or better, and everything works.

Reviewers: hvr

Reviewed By: hvr

Subscribers: simonmar, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D167

Mention that `Data.Ix` uses row-major indexing

This addresses Trac #8712 by simply mentioning row-major indexing,
thereby removing any ambiguity.

Signed-off-by: Austin Seipp <austin@well-typed.com>

Explain how to clone GitHub forks. Ticket #8379.

This information is mirrored at:
http://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#GettingaGHCrepositoryfromGitHub

Signed-off-by: Austin Seipp <austin@well-typed.com>

Use absolute links to Cabal docs from the GHC users guide (#9154)

Signed-off-by: Austin Seipp <austin@well-typed.com>

includes/stg/Prim.h: add matching 'hs_atomic_*' prototypes

Fixes implicit function declarations in C codegen.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

This note's name has been fixed

Have the RTS linker search symbols in the originating windows binary.

Summary: In initLinker, this patch adds the handle of the module corresponding to the program binary to the list of DLL handles that lookupSymbol uses to search for symbols.

Test Plan: validate

Reviewers: simonmar, austin

Reviewed By: simonmar, austin

Subscribers: phaskell, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D103

GHC Trac Issues: #9382

Implement -rdynamic in Linux and Windows/MinGW32.

Summary:
In Linux, it is a synonym for -optl -rdynamic.
In Windows, it is a synonym for -optl -export-all-symbols.

Test Plan: validate

Reviewers: simonmar, austin

Reviewed By: simonmar, austin

Subscribers: mboes, phaskell, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D102

GHC Trac Issues: #9381

UNREG: fix PackageKey emission into .hc files

Summary:
Fixes ./configure --unable-unregisterised build failure:
    HC [stage 1] (one of the first calls)
    ...
    <command line>: unknown package: transformers-0.4.1.0

The reason of bug is how UNREG build stores package information
in .hc files:
    compiler/main/CodeOutput.lhs generates first line as
        /* GHC_PACKAGES pkg-name-ver1 pkg-name-ver2 ...
    while DriverPipeline.hs (getHCFilePackages) expects
        /* GHC_PACKAGES pkg-key1 pkg-key2 ...

Fix it by emitting ghc's PackageKey in CodeOutput

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Test Plan: build-tested on ./configure --enable-unregistersied

Reviewers: simonmar, ezyang, austin

Reviewed By: ezyang, austin

Subscribers: simonmar, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D164

Bug #9439: Ensure that stage 0 compiler isn't affected

Summary:
Bug #9439 will cause miscompilation of GHC's LLVM backend. Here we
ensure that an affected compiler isn't used to bootstrap.

Test Plan: Attempt to bootstrap GHC with an affected stage 0 compiler.

Reviewers: rwbarton, austin

Reviewed By: austin

Subscribers: simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D159

Make Prelude.signum handle -0.0 correctly (#7858)

Summary:
Make the `Float` and `Double` implementations of `signum` handle -0.0
correctly per IEEE-754.

This, together with "Make Prelude.abs handle -0.0 correctly (#7858)",
fixes Trac #7858.

Depends on D145

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>
Test Plan:
signum of (-0.0) should be (-0.0) not 0.0.

Test program:

  main =
    putStrLn $ p ++ " " ++ n
    where
      f = show . signum
      p = f (-0.0 :: Double)
    n = f (0.0 :: Double)

Reviewers: ekmett, hvr, rwbarton, austin

Reviewed By: austin

Subscribers: phaskell, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D148

GHC Trac Issues: #7858

Make Prelude.abs handle -0.0 correctly (#7858)

Summary:
Make the `Float` and `Double` implementations of `abs` handle -0.0
correctly per IEEE-754.

abs (-0.0::Float) and abs (-0.0::Double) previously returned -0.0, when
they should return 0.0. This patch fixes this.

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>
Test Plan: abs (-0.0::Double) should = 0.0 instead of (-0.0)

Reviewers: ekmett, hvr, austin, rwbarton

Reviewed By: austin, rwbarton

Subscribers: phaskell, trofi, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D145

GHC Trac Issues: #7858

testsuite/T9379: Use GHC.Conc instead of Control.Concurrent.STM

Summary:
`GHC.Conc` provides almost everything we need.

Signed-off-by: Ben Gamari <bgamari.foss@gmail.com>
Test Plan:
    make test TEST=T9379

Reviewers: austin, simonmar

Reviewed By: austin, simonmar

Subscribers: phaskell, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D152

Fix three problems with occurrence analysis on case alternatives.

Summary:
  1. Respect condition (a) in Note [Binder swap]
  2. Respect condition (b) in Note [Binder swap]
  3. Return usage of any coercion variables in binder swap

Fixes T9440

Test Plan: See #9440

Reviewers: simonpj, austin

Reviewed By: simonpj, austin

Subscribers: simonpj, simonmar, relrod, ezyang, carter

Differential Revision: https://phabricator.haskell.org/D156

GHC Trac Issues: #9440