[commit: ghc] master: Rewrite Backpack comments on never-exported TyThings. (bbe8956)

[git at git.haskell.org]

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

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

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

commit bbe8956f345d8b2e0d3c068cba9d24569458f704
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Wed Jan 18 22:54:35 2017 -0800

    Rewrite Backpack comments on never-exported TyThings.
    
    Summary:
    While thesing, I realized this part of the implementation
    didn't make very much sense, so I started working on some
    documentation updates to try to make things more explainable.
    
    The new docs are organized around the idea of a
    "never exported TyThing" (a non-implicit TyThing that never
    occurs in the export list of a module).  I also removed
    some outdated information that predated the change of
    ModIface to store Names rather than OccNames.
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>
    
    Reviewers: simonpj, bgamari, austin
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2989


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

bbe8956f345d8b2e0d3c068cba9d24569458f704
 compiler/backpack/RnModIface.hs  | 113 +++++++++++++++------------------------
 compiler/iface/TcIface.hs        |  50 +++++++++--------
 compiler/typecheck/TcBackpack.hs |  63 +++++++++++++++++++---
 compiler/typecheck/TcRnTypes.hs  |   2 +-
 4 files changed, 127 insertions(+), 101 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 bbe8956f345d8b2e0d3c068cba9d24569458f704