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

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

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

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

(#8961)

(cherry picked from commit 8f831ec5)

Austin Seipp authored 10 years ago and thoughtpolice committed 10 years ago

This reverts commit a79613a7.

(cherry picked from commit c6c86789)

A palpable bug, although one that will rarely bite

(cherry picked from commit 3671d002)

Simon Marlow authored 10 years ago and thoughtpolice committed 10 years ago

(cherry picked from commit 59b9b067)

(cherry picked from commit 8bf8ce1e)

(cherry picked from commit 791f4fa2)

Austin Seipp authored 10 years ago and thoughtpolice committed 10 years ago

This bumps the amount of default reserved and committed stack for GHC
executables to 8mb, to work around #8870. A proper fix should happen in
7.8.2

See note [Windows stack usage] in SysTools for the details.

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

We now do role inference on stupid datatype contexts, allowing a
lightweight role annotation syntax.

(cherry picked from commit d468cd37)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Right now there's a bug with Clang that prevents 'cabal haddock' from
working nicely. But there's an easy fix for now.

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

After a toolchain update, Clang is no longer appreciative of the fact
these are unused, thanks to -Werror during validate.

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

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

Iavor S. Diatchki authored 10 years ago and Herbert Valerio Riedel committed 10 years ago

This is done with two built-in type families: `CmpNat and `CmpSymbol`.
Both of these return a promoted `Ordering` type (EQ, LT, or GT).

(cherry picked from commit 5e4bdb5f)

There was a special case in rewriteEvidence, looking like:
  = return (Just (if ctEvPred old_ev `tcEqType` new_pred
                  then old_ev
                  else old_ev { ctev_pred = new_pred }))

But this was wrong: old_pred and new_pred might differ in the kind
of a TyVar occurrence, in which case tcEqType would not notice,
but we really, really want new_pred.  This caused Trac #8913.

I solved this by dropping the whole test, and instead making
the flattener preserve type synonyms. This was easy because
TcEvidence has TcTyConAppCo which (unlike) Coercion, handles
synonyms.

(cherry picked from commit 6ae678e3)

This change makes the code for canIrred markedly simpler (and more efficient)
See Note [Equalities with incompatible kinds].

I don't think there was really a bug here, but I came across it when
fixing Trac #8913

(cherry picked from commit c89c57e3)

Trac #8912 pointed out that GHC 7.4 and 7.6 have omitted this test, although
7.2 and earlier had it.  This patch puts the test back in, and refactors a
little.

(cherry picked from commit a8b7b28c)

Conflicts:
	testsuite/tests/typecheck/should_fail/all.T

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

This wasn't showing up as a bug, but it was definitely wrong.

(cherry picked from commit 74894e0b)

It causes a failure on Windows right now.

This reverts commit 045b2803.

(cherry picked from commit 15b1eb7c)

The fix was to ghc-prim.

(cherry picked from commit 16d04d90)

(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)

(cherry picked from commit 7973bfb8)

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)

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)

(cherry picked from commit 0e2155dd)

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)

(cherry picked from commit 062391be)

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)

(cherry picked from commit 1a7709ef)

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

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 11 years ago and Herbert Valerio Riedel committed 10 years ago

(cherry picked from commit d246c62a)

Joachim Breitner authored 11 years ago and Herbert Valerio Riedel committed 10 years ago

This fixes #8824.

(cherry picked from commit 3efcb0a7)

Joachim Breitner authored 11 years ago and Herbert Valerio Riedel committed 10 years ago

(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)