#3950: panic: Unify.uTys_s: mismatched type lists!
----------------------------------------+-----------------------------------
Reporter: ganesh | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.8.3
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
typecheck/should_compiler/T3950
Architecture: Unknown/Multiple | Failure: Compile-time crash
----------------------------------------+-----------------------------------
Changes (by simonpj):
* owner: => igloo
* testcase: => typecheck/should_compiler/T3950
* type: bug => merge
Comment:
Fixed in HEAD by
{{{
Mon Apr 12 16:18:45 GMT Daylight Time 2010 [email protected]
* Fix Trac #3950: unifying types of different kinds
I was assuming that the unifer only unified types of the
same kind, but now we can "defer" unsolved constraints that
invariant no longer holds. Or at least is's more complicated
to ensure.
This patch takes the path of not assuming the invariant, which
is simpler and more robust. See
Note [Mismatched type lists and application decomposition]
}}}
Try merging to 6.12 branch
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3950#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
