[GHC] #2728: T2627 profasm/profc: Kinds don't match in type
application
GHC
trac at galois.com
Thu Oct 30 13:01:12 EDT 2008
#2728: T2627 profasm/profc: Kinds don't match in type application
------------------------------+---------------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: closed
Priority: normal | Milestone: 6.10.1
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: T2627 | Architecture: Unknown/Multiple
Os: Unknown/Multiple |
------------------------------+---------------------------------------------
Changes (by igloo):
* status: new => closed
* resolution: => fixed
Comment:
Fixed by
{{{
Tue Oct 21 15:31:56 BST 2008 simonpj at microsoft.com
* Do proper cloning in worker/wrapper splitting
See Note [Freshen type variables] in WwLib. We need to clone type
variables when building a worker/wrapper split, else we simply get
bogus code, admittedly in rather obscure situations. I can't quite
remember what program showed this up, unfortunately, but there
definitely *was* one! (You get a Lint error.)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2728#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list