#7332: Kind-defaulting omitted leads to deeply obscure type error
    Reporter:  simonpj           |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  high              |   Milestone:  7.8.1           
   Component:  Compiler          |     Version:  7.6.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  

Comment(by simonpj@…):

 commit 743582514c068c34235af2750dd5a726e981b77c
 Author: Simon Peyton Jones <simo...@microsoft.com>
 Date:   Mon Oct 15 10:56:22 2012 +0100

     Add kind-defaulting in simplifyInfer (fixes Trac #7332)

     The basic point here is described in TcSimplify
        Note [Promote _and_ default when inferring]
     The new thing is that, when figuring out the predicates
     to abstact over in simplifyInfer, we must default OpenKind
     to *, just as we do in quantifyTyVar. I had not realised
     how important this was until Oleg came up with Trac #7332.

     As usual I did some refactoring, so the patch affects
     many more lines than strictly necessary.

  compiler/typecheck/TcSimplify.lhs |  266
  1 files changed, 129 insertions(+), 137 deletions(-)

Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7332#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

Glasgow-haskell-bugs mailing list

Reply via email to