[commit: ghc] wip/T15952: Remove TcKind result for tc_infer_hs_type (79d0313)

git at git.haskell.org git at git.haskell.org
Thu Dec 6 09:28:10 UTC 2018


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

On branch  : wip/T15952
Link       : http://ghc.haskell.org/trac/ghc/changeset/79d031326d614f6ca637b67a11949dab64afe728/ghc

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

commit 79d031326d614f6ca637b67a11949dab64afe728
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 5 12:25:14 2018 +0000

    Remove TcKind result for tc_infer_hs_type
    
    More cleaning up
    
    All works except a couple or piResultTys crashes in
       polykinds/T11399
       polykinds/T14174a
    
    due to using substTy (rather than nakedSubstTy) in
    piResultTys


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

79d031326d614f6ca637b67a11949dab64afe728
 compiler/typecheck/TcDefaults.hs        |   4 +-
 compiler/typecheck/TcHsType.hs          | 283 +++++++++++++++-----------------
 compiler/typecheck/TcInstDcls.hs        |   4 +-
 compiler/typecheck/TcRnDriver.hs        |  12 +-
 compiler/typecheck/TcSplice.hs          |   2 +-
 compiler/typecheck/TcTyClsDecls.hs      |  22 +--
 testsuite/tests/polykinds/T13659.stderr |   2 +-
 7 files changed, 151 insertions(+), 178 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 79d031326d614f6ca637b67a11949dab64afe728


More information about the ghc-commits mailing list