#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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
