#3100: GHC Panic "reifyType PredTy" in HAppS.Data.IxSet.inferIxSet
---------------------------+------------------------------------------------
Reporter: mightybyte | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone: 6.12 branch
Component: Compiler | Version: 6.10.1
Resolution: | Keywords:
Difficulty: Unknown | Os: Unknown/Multiple
Testcase: th/T3100 | Architecture: Unknown/Multiple
Failure: None/Unknown |
---------------------------+------------------------------------------------
Changes (by simonpj):
* testcase: => th/T3100
* owner: => igloo
* type: bug => merge
Comment:
Fixed I think
{{{
Mon Nov 30 09:52:04 PST 2009 [email protected]
* Fix Trac #3100: reifyType
A type without any leading foralls may still have constraints
eg: ?x::Int => Int -> Int
But reifyType was failing in this case.
Merge to 6.12.
M ./compiler/typecheck/TcSplice.lhs -7 +12
}}}
Ian please merge
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3100#comment:9>
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
