[commit: ghc] wip/gadtpm: Impement a satisfiability oracle (d2b720d)

[git at git.haskell.org]

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

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

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

commit d2b720da1d1e34e29026d6d44e8ce58886d51464
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 13 13:24:17 2015 +0000

    Impement a satisfiability oracle
    
    The main checker is in TcSimplify.tcCheckSatisfiablity
    
    Observations
    
    * DsMonad.initTcDsForSolver is a bit of a kludge.  We spin up a
      complete TcM monad only to immediately refine it to a TcS
      monad. Better perhaps to make TcS into its own monad, rather than
      building on TcS But that may in turn interact with plugins
    
    * I'm concerned about whether DataCons are properly instantiated in
      Check, but I don't understand the code well enough to be sure.


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

d2b720da1d1e34e29026d6d44e8ce58886d51464
 compiler/deSugar/Check.hs        | 73 ++++++++++++++++++++++++++++++----------
 compiler/deSugar/DsMonad.hs      | 37 +++++++++++++++++---
 compiler/typecheck/TcRnTypes.hs  |  2 +-
 compiler/typecheck/TcSMonad.hs   | 13 ++++---
 compiler/typecheck/TcSimplify.hs | 13 ++++++-
 5 files changed, 110 insertions(+), 28 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 d2b720da1d1e34e29026d6d44e8ce58886d51464