(cherry picked from commit 1a63f17f)

See #8827 - for now, we're making GND unsafe again.

This also fixes the tests since they were originally not using the new
unicode quote style we're using.

This reverts commit a8a01e74.

(cherry picked from commit 8f730377)

Simon Peyton Jones authored Mar 23, 2014 and thoughtpolice committed Mar 23, 2014

(cherry picked from commit 7973bfb8)

Simon Peyton Jones authored Mar 22, 2014 and thoughtpolice committed Mar 23, 2014

I've elaboated Note [Unify kinds in deriving] to explain
what is going on here.

The change fixes Trac #8893.

(cherry picked from commit ffed708c)

Simon Peyton Jones authored Mar 18, 2014 and thoughtpolice committed Mar 23, 2014

For DFunUnfoldings we were failing to occurrence-analyse the unfolding,
and that meant that a loop breaker wasn't marked as such, which in turn
meant it was inlined away when it still had occurrence sites.  See
Note [Occurrrence analysis of unfoldings] in CoreUnfold.

This is a pretty long-standing bug, happily nailed by John Lato.

(cherry picked from commit 87bbc69c)

Simon Peyton Jones authored Mar 17, 2014 and thoughtpolice committed Mar 23, 2014

(cherry picked from commit 0e2155dd)

Simon Peyton Jones authored Mar 14, 2014 and thoughtpolice committed Mar 23, 2014

There was even a comment to warn about this possiblity,
and it finally showed up in practice!  This patch fixes
it quite nicely, with commens to explain.

(cherry picked from commit 7a7af1ff)

Simon Peyton Jones authored Mar 07, 2014 and thoughtpolice committed Mar 23, 2014

(cherry picked from commit 062391be)

Simon Peyton Jones authored Mar 07, 2014 and thoughtpolice committed Mar 23, 2014

The issue here is described in Note [Binding scoped type variables] in
TcPat.  When implementing this fix I was able to make things quite a
bit simpler:
 * The type variables in a type signature now never unify
   with each other, and so can be straightfoward skolems.
 * We only need the SigTv stuff for signatures in patterns,
   and for kind variables.

(cherry picked from commit cf1a0f97)

Simon Peyton Jones authored Mar 23, 2014 and thoughtpolice committed Mar 23, 2014

(cherry picked from commit 1a7709ef)

Conflicts:
	testsuite/tests/ghci/scripts/all.T

Simon Peyton Jones authored Mar 22, 2014 and thoughtpolice committed Mar 23, 2014

This patch is really a fix to the big commint
   73c08ab1
   Re-work the naming story for the GHCi prompt (Trac #8649)
which introduced the 'interactive' package
See Note [The interactive package] in HscTypes

The original commit set both
  (a) The tcg_mod field of TcGblEnv to 'interactive:Ghci4' (say)
  (b) The thisPackage field of DynFlags to 'interactive'

But the second step interacts badly with linking.  :loaded modules are
in the package set by 'thisPackage' (usually 'main'); if you change
that, then we try to link package 'main', but can't find it, and
that is what happened in #8831.

The fix was simple: do (a) but not (b).

I changed Note [The interactive package] in HscTypes to describe this.

(cherry picked from commit 28e8d878)

Joachim Breitner authored Mar 08, 2014 and Herbert Valerio Riedel committed Mar 23, 2014

(cherry picked from commit d246c62a)

Joachim Breitner authored Mar 07, 2014 and Herbert Valerio Riedel committed Mar 23, 2014

This fixes #8824.

(cherry picked from commit 3efcb0a7)

Joachim Breitner authored Feb 06, 2014 and Herbert Valerio Riedel committed Mar 23, 2014

(cherry picked from commit b755c7bd)

Previously, the `http://`-protocol part was hardcoded in the URLs, causing
the initial clone process to fall back to `http://` even when the ghc.git repo
was cloned via one of the other 3 supported transport protocols.

This is slightly related to #8545, as it will make it possible to e.g.

    git clone --recursive git://git.haskell.org/ghc



and clone ghc.git including all submodules in one go (i.e. w/o `sync-all`),
and w/o falling back to a different (hardwired) Git transport protocol for
the submodules.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
(cherry picked from commit ad44e475)

Both --with-ar and --with-ranlib are usable on non-GNU/Linux systems
where GNU tools are usually installed (or possible to install), but
not into standard location nor with standard name. Tested on Solaris 10.

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit ac24bf45)

The patch provided by Christian Maeder <Christian.Maeder@dfki.de>

Signed-off-by: Karel Gardas <karel.gardas@centrum.cz>
Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit 045b2803)

FamInstEnv.normaliseTcApp should normalise arguments even when
the top-level tycon isn't a type family. This was a regression
from 7.6 -- not sure when it happened, but it was probably my
fault. Fixed now, in any case.

(cherry picked from commit c99941cf)

(cherry picked from commit 47796026)

Joachim Breitner authored Mar 22, 2014 and thoughtpolice committed Mar 22, 2014

to keep validate working.

(cherry picked from commit 4bc3c826)

Conflicts:
	testsuite/tests/ghci/scripts/all.T

Austin Seipp authored Mar 21, 2014 and thoughtpolice committed Mar 22, 2014

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit f9b6a2bb)

Conflicts:
	testsuite/tests/ghci/scripts/all.T

awson authored Mar 21, 2014 and thoughtpolice committed Mar 22, 2014

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit 7a1c8511)

foxnorth authored Mar 11, 2014 and thoughtpolice committed Mar 22, 2014

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit 99ef2791)

Gergő Érdi authored Mar 19, 2014 and thoughtpolice committed Mar 22, 2014

interface contents

(cherry picked from commit 21028ee6)

Gergő Érdi authored Mar 19, 2014 and thoughtpolice committed Mar 22, 2014

This is so that generated names like e.g. workers don't show up as
infix operators when using something like -ddump-simpl.

(cherry picked from commit a3f78e24)

Gergő Érdi authored Mar 14, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit de32a95e)

Gergő Érdi authored Mar 14, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit 52003696)

Gergő Érdi authored Mar 14, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit 5908a742)

Gergő Érdi authored Mar 14, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit f3eeb935)

Gergő Érdi authored Mar 13, 2014 and thoughtpolice committed Mar 22, 2014

 * AnId
 * ACoAxiom
 * AConLike

(cherry picked from commit 065c35a9)

Gergő Érdi authored Mar 12, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit 24eea38c)

Gergő Érdi authored Mar 12, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit 23c0f1ec)

Gergő Érdi authored Mar 12, 2014 and thoughtpolice committed Mar 22, 2014

(cherry picked from commit 4d1b7b4a)

Austin Seipp authored Mar 21, 2014 and thoughtpolice committed Mar 22, 2014

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit ba0c0123)

Joachim Breitner authored Mar 21, 2014 and thoughtpolice committed Mar 22, 2014

(I recall that this was needed in some cases in the past, and might fix
the validate error on travis.)

(cherry picked from commit df409de9)

Iavor S. Diatchki authored Mar 17, 2014 and thoughtpolice committed Mar 22, 2014

I moved the "promoted literals" sub-section into a separate section,
as many folks were not finding the docs.  I also added some additional
paragraphs describing the current state of the feature.

(cherry picked from commit 3099e40d)

Simon Peyton Jones authored Mar 14, 2014 and thoughtpolice committed Mar 22, 2014

We don't yet understand WHY commit ad15c2, which is to do with
CmmSink, causes seg-faults on Windows, but it certainly seems to.  So
reverting it is a stop-gap, but we need to un-block the 7.8 release.

Many thanks to awson for identifying the offending commit.

(cherry picked from commit a79613a7)

Herbert Valerio Riedel authored Mar 18, 2014 and thoughtpolice committed Mar 22, 2014

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
(cherry picked from commit 696bfc4b)

Ben Gamari authored Mar 06, 2014 and thoughtpolice committed Mar 17, 2014

Signed-off-by: Austin Seipp <austin@well-typed.com>
(cherry picked from commit d574fcbb)

Simon Peyton Jones authored Mar 06, 2014 and thoughtpolice committed Mar 17, 2014

(cherry picked from commit bf9bf602)