[commit: ghc] wip/gadtpm: Several changes towards correct guard reasoning (avoid EquationInfo) (f4cf68a)

[git at git.haskell.org]

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

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

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

commit f4cf68a3cceb7f00b2dbe7f769261c6774fa65fa
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Wed Jul 1 14:45:34 2015 +0200

    Several changes towards correct guard reasoning (avoid EquationInfo)
    
      * Splitted check into checkSingle (let) and checkMatches (matchgroups)
      * Made `initial_uncovered' monadic
      * Added `translateMatches' to replace `translateEqnInfo'
      * Process a list of guards: process_guards
      * Added utility functions: splitUniqSupply3, splitUniqSupply4


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

f4cf68a3cceb7f00b2dbe7f769261c6774fa65fa
 compiler/deSugar/Check.hs | 139 ++++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 128 insertions(+), 11 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 f4cf68a3cceb7f00b2dbe7f769261c6774fa65fa