By keeping the repository url in the `packages` file scripts such as
source:ghc/sync-all can pick it up. Moreover, it's easier to
automatically validate for correctness than the
wiki:Repositories/Upstream page.

* Document ExplicitNamespaces
* Improve documentation of ambiguity, and AllowAmbiguousTypes
* Improve documentation of overlapping/incoherent instance rules
* List language extensions in alphabetical order

This is a lingering bug from the introduction of polymorphic kinds.
In the specialiser we were specialising over a type, but failing
to specialise over the kinds it mentions.

The fix is simple: add a call to closeOverKinds.

Most of the patch is to add closeOverKinds, and to use it in a few
other places where we are doing essentially the same thing.

Part of Nick Frisby's patch (c080f727)
for late demand-analysis removed the over-zealous short-cut whereby
strictness wrappers were not spelled out in detail in interface files.

This patch completes the process by
 * removing InlineWrapper from UnfoldingSource
 * removing IfWrapper from IfaceUnfolding

There was a tiny bit of special ad-hocery for wrappers, in OccurAnal,
but fortunately that too turns out to be rendered irrelevant by
the more uniform treatment, and after that there was no need
to remember which functions are wrappers.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

This basically turns the comment at the beginning of the `validate`
shell script into an interactive `--help` output plus some minor additions.

(+ 3 outstanding local patches)

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Signed-off-by: Austin Seipp <aseipp@pobox.com>

The function was reading past the end of the FastString table, causing
the -dfaststring-stats option to behave unpredictably.

Fixes #8200

Fixes #8201

(+ local fix for PolyTypeable)

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Joachim Breitner authored 11 years ago and thoughtpolice committed 11 years ago

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Joachim Breitner authored 11 years ago and thoughtpolice committed 11 years ago

(Almost) as suggested by SPJ on
http://www.haskell.org/pipermail/glasgow-haskell-users/2013-July/022651.html


(fixes #8141)

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Signed-off-by: Austin Seipp <aseipp@pobox.com>

rwbarton authored 11 years ago and thoughtpolice committed 11 years ago

Linux can give back EPERM from an mmap call when a user program attempts
to map pages near `mmap_min_addr`, which is a kernel security measure to
prevent people from mapping pages at address 0. We may do this when we
hint to mmap what address to map the pages to.

However, it's theoretically possible we're not actually out of memory -
we could have continuously mapped pages at some other place far away
from `mmap_min_addr` and succeeded instead. So as an added precaution,
if mmap for a given addr gives us EPERM, we'll also attempt to map
*again*, but without the address hint. Maybe the kernel can do the right
thing.

However, while testing #7500, the amount of free address space we could
have otherwise used only turns out to be about 139MB. Which isn't really
a lot. So, given that, we *also* otherwise treat EPERM as an out of
memory error.

This fixes #7500.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

See #8181.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Signed-off-by: Austin Seipp <aseipp@pobox.com>

Signed-off-by: Austin Seipp <aseipp@pobox.com>

This reverts commit 48865521.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

This reverts commit 1ce65edb.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

This reverts commit 1247dff7.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

rwbarton authored 11 years ago and thoughtpolice committed 11 years ago

Signed-off-by: Austin Seipp <aseipp@pobox.com>

rwbarton authored 11 years ago and thoughtpolice committed 11 years ago

Signed-off-by: Austin Seipp <aseipp@pobox.com>

rwbarton authored 11 years ago and thoughtpolice committed 11 years ago

Fixes Trac #5188.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

rwbarton authored 11 years ago and thoughtpolice committed 11 years ago

Signed-off-by: Austin Seipp <aseipp@pobox.com>

cf http://ghc.haskell.org/trac/ghc/wiki/LateDmd

See Note [ApproximateWC]