[commit: ghc] wip/gadtpm: Major rewrite: Pt 12: Improved (performance) term oracle and respective text (bda52c2)

[git at git.haskell.org]

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

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

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

commit bda52c276246caa04191b031b95f1ad8aef0c1b0
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Tue Mar 24 05:33:08 2015 +0100

    Major rewrite: Pt 12: Improved (performance) term oracle and respective text
    
    Last Important TODO:
      * Implement typing THE RIGHT WAY (as described in paper)
    
    Other TODOs:
      * Make pretty-printing as it should be
      * Improve performance where possible
      * Fully document code
      * Follow GHC's coding conventions
    
    When all (most of) the above are done, erase previous implementation (which is
    actually active at the moment) and fully activate new. Don't forget to rename
    functions that end in '2'.


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

bda52c276246caa04191b031b95f1ad8aef0c1b0
 compiler/deSugar/Check.hs | 149 +++++++++++++++++++---------------------------
 1 file changed, 62 insertions(+), 87 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 bda52c276246caa04191b031b95f1ad8aef0c1b0