[commit: ghc] ghc-july: Full type checking Backpack details. (541aa7f)

[git at git.haskell.org]

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

On branch  : ghc-july
Link       : http://ghc.haskell.org/trac/ghc/changeset/541aa7f01b96bc0af962f97de5c831a2fd872aad/ghc

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

commit 541aa7f01b96bc0af962f97de5c831a2fd872aad
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Mon Apr 27 15:41:29 2015 -0700

    Full type checking Backpack details.
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>


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

541aa7f01b96bc0af962f97de5c831a2fd872aad
 docs/backpack/algorithm.pdf | Bin 184236 -> 190653 bytes
 docs/backpack/algorithm.tex | 214 +++++++++++++++++++++++++++++++++++++-------
 2 files changed, 180 insertions(+), 34 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 541aa7f01b96bc0af962f97de5c831a2fd872aad