[commit: ghc] master: Backpack docs: Rewrite type checking section to have a more concrete plan. (5972037)

[git at git.haskell.org]

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

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

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

commit 59720370849c0e15f207f059e54b21e4f8e05d82
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Wed May 13 16:16:39 2015 -0700

    Backpack docs: Rewrite type checking section to have a more concrete plan.
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>


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

59720370849c0e15f207f059e54b21e4f8e05d82
 docs/backpack/algorithm.pdf | Bin 272423 -> 279771 bytes
 docs/backpack/algorithm.tex | 425 +++++++++++++++++++++++---------------------
 2 files changed, 225 insertions(+), 200 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 59720370849c0e15f207f059e54b21e4f8e05d82