[commit: ghc] master: Refactor: Origin of inferred Thetas (51bebb7)

git at git.haskell.org git at git.haskell.org
Tue Dec 3 13:27:58 UTC 2013


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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/51bebb7c324d2572d5a299f950c09dc4d21cd271/ghc

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

commit 51bebb7c324d2572d5a299f950c09dc4d21cd271
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Dec 2 19:16:08 2013 +0000

    Refactor: Origin of inferred Thetas
    
    When doing non-standalone deriving, annotate each individual
    unsimplified constraint with its own CtOrigin. This is just the
    refactoring, so the CtOrigin is still CtDeriv in each case.


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

51bebb7c324d2572d5a299f950c09dc4d21cd271
 compiler/typecheck/TcDeriv.lhs |  260 ++++++++++++++++++++++++----------------
 compiler/typecheck/TcMType.lhs |   22 ++--
 2 files changed, 168 insertions(+), 114 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 51bebb7c324d2572d5a299f950c09dc4d21cd271


More information about the ghc-commits mailing list