Typo in comment
Fix user guide documentation about unboxed values

Signed-off-by: Arash Rouhani <rarash@student.chalmers.se>
Update `primitive` and `vector` packages

 - `primitive` is updated to upstream's HEAD which is essentially
   `primitive-0.5.1.0`, plus a core-lint-error workaround for #8355 and
   some minor cleanups.

 - `vector` is updated to upstreams `vector-0.10.9.1` release

Note: The upstream repo location has changed to GitHub,
      hence the update in the `packages` file

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

A tiny bit of fallout from the TypeRep changes with a simple fix: we
don't export typeRep# from Data.Typeable anymore, only
Data.Typeable.Internal

Signed-off-by: Austin Seipp <austin@well-typed.com>
Implement an unlifted Proxy type, Proxy#

A value of type 'Proxy# a' can only be created through the new,
primitive witness 'proxy# :: Proxy# a' - a Proxy# has no runtime
representation and is thus free.

This lets us clean up the internals of TypeRep, as well as Adam's future
work concerning records (by using a zero-width primitive type.)

Authored-by: Edward Kmett <ekmett@gmail.com>
Authored-by: Austin Seipp <austin@well-typed.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>
Make typeRep_RDR use typeRep# instead of typeRep

Authored-by: Edward Kmett <ekmett@gmail.com>
Authored-by: Austin Seipp <austin@well-typed.com>
Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix manual regarding current state of implicit quantification

See also #4426
Release notes: mention -XEmptyCase
Whitespace only.
RnNames.lhs : Reuse existing function.
Fix typo in sync-all script. (#8375)
Teach sync-all how to rewrite submodule repo urls

This applies attachment:sync-all-submodules-locally.diff from #8369

Authored-by: Nathaniel Filardo
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Fix T8333 (#8333)
Make lazy unlifted bindings an error by default.

This was supposed to happen a long time ago, but later is better than
never. This makes `-fwarn-lazy-unlifted-bindings` into a no-op (with its
own warning) to be removed in GHC 7.10.

This fixes #8022.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix BCO bitmap generation on 32-bit platforms (#8377)

On 32-bit platforms, the bitmap should be an array of
32-bit words, not Word64s.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Test Trac #8377

Signed-off-by: Austin Seipp <austin@well-typed.com>
Remove extra space in LIBFFI_CFLAGS (#8349)

Signed-off-by: Austin Seipp <austin@well-typed.com>
Add a note about Proxy# to the user guide

Signed-off-by: Austin Seipp <austin@well-typed.com>
Mention the Foldable and Traversable instances for Const r in the user guide

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix fallout from making lazy unlifted bindings an error

Issue #8022

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