[commit: ghc] master: Levity polymorphic Backpack. (fd8b044)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/fd8b044e9664181d4815e48e8f83be78bc9fe8d2/ghc

>---------------------------------------------------------------

commit fd8b044e9664181d4815e48e8f83be78bc9fe8d2
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Mon Oct 16 15:27:10 2017 -0400

    Levity polymorphic Backpack.
    
    This patch makes it possible to specify non * kinds of
    abstract data types in signatures, so you can have
    levity polymorphism through Backpack, without the runtime
    representation constraint!
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>
    
    Test Plan: validate
    
    Reviewers: andrewthad, bgamari, austin, goldfire
    
    Reviewed By: bgamari
    
    Subscribers: goldfire, rwbarton, thomie
    
    GHC Trac Issues: #13955
    
    Differential Revision: https://phabricator.haskell.org/D3825


>---------------------------------------------------------------

fd8b044e9664181d4815e48e8f83be78bc9fe8d2
 compiler/backpack/RnModIface.hs                    |  2 +
 compiler/iface/IfaceSyn.hs                         |  9 +++--
 compiler/typecheck/TcHsType.hs                     | 27 ++++++++++---
 compiler/typecheck/TcInstDcls.hs                   |  2 +-
 compiler/typecheck/TcTyClsDecls.hs                 | 17 +++++++--
 docs/users_guide/separate_compilation.rst          | 13 ++++++-
 testsuite/tests/backpack/should_run/T13955.bkp     | 44 ++++++++++++++++++++++
 .../should_run/T13955.stdout}                      |  0
 testsuite/tests/backpack/should_run/all.T          |  1 +
 testsuite/tests/ghci/scripts/T7627.stdout          |  7 +++-
 10 files changed, 106 insertions(+), 16 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc fd8b044e9664181d4815e48e8f83be78bc9fe8d2