[commit: ghc] wip/gadtpm: Working still on `Out of memory` issue (f5fc656)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/f5fc656a2001d11411a645366d62f5794e3d5ded/ghc

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

commit f5fc656a2001d11411a645366d62f5794e3d5ded
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Sun Feb 8 14:28:46 2015 +0100

    Working still on `Out of memory` issue
    
      * Splitted function `alg' in `alg_covers', `alg_forces' and
        `alg_uncovered' for more precise control of evaluation.
    
      * Covered vectors are no longer computed, we keep track only of
        the corresponding `Delta's to check for satisfiability.
    
      Misc.
      * Moved `toTcType' appropriately (in typecheck/TcType.hs).
      * Changed `isSatisfiable's interface to accept only Delta.
      * Slightly changed terminology to follow the paper.
    
    Notes:
      1. Propagation of EvVars that are in scope while traversing the
         AST is still deactivated.
      2. The exhaustiveness checker alone does not run out of memory so
         I am inclined to think that the coverage checker is the one
         responsible for this unexpected memomy consumption.


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

f5fc656a2001d11411a645366d62f5794e3d5ded
 compiler/deSugar/Check.hs    | 297 ++++++++++++++++++++-----------------------
 compiler/typecheck/TcType.hs |  42 ++++++
 2 files changed, 179 insertions(+), 160 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 f5fc656a2001d11411a645366d62f5794e3d5ded