#3100: GHC Panic "reifyType PredTy" in HAppS.Data.IxSet.inferIxSet
---------------------------+------------------------------------------------
Reporter: mightybyte | Owner:
Type: bug | Status: new
Priority: low | Milestone: 6.12 branch
Component: Compiler | Version: 6.10.1
Resolution: | Keywords:
Difficulty: Unknown | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: None/Unknown |
---------------------------+------------------------------------------------
Changes (by rl):
* os: Linux => Unknown/Multiple
* architecture: x86_64 (amd64) => Unknown/Multiple
Comment:
I suspect this is the same bug, I ran across it while working on !NoSlow.
Still happens with 6.13.20091126. I suggest setting priority back to
normal since we now have a small testcase.
{{{
{-# LANGUAGE TemplateHaskell, Rank2Types, FlexibleContexts #-}
module T where
import Language.Haskell.TH
type T a = Eq a => a
$(do { reify ''T; return []})
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3100#comment:7>
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
