#5539: GHC panic - Simplifier ticks exhausted
---------------------------------+------------------------------------------
Reporter: hvr | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.3
Resolution: | Keywords:
Os: Linux | Architecture: x86_64 (amd64)
Failure: Compile-time crash | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
---------------------------------+------------------------------------------
Comment(by rl):
I changed things around in `vector` and now `vector-algorithms` compiles
(I'll release a new version of `vector` shortly). This little program,
however, still produces the ''simplifier ticks exhausted'' message after
0.4s for me:
{{{
import qualified Data.Vector.Algorithms.Intro as I
import qualified Data.Vector.Generic as G
partialSort :: (G.Vector v e, Ord e) => Int -> v e -> v e
partialSort k = G.modify (\a -> I.partialSort a k)
}}}
This is taken straight from the `statistics` package which still doesn't
compile for me because of this. I don't think I can do anything else in
`vector`, perhaps `vector-algorithms` can be changed somehow to make GHC
happy. The unfolding for `partialSort` is enormous. However, I'm not
convinced this isn't GHC's fault, it generates a 400KB interface file from
a 7KB source file by duplicating vast amounts of code in the unfoldings.
This seems wrong. BTW, increasing the tick count isn't really a solution
because it would have to be done in every package that uses `partialSort`
rather than in `vector-algorithms`.
In any case, the bottom line is that we still have broken packages which
were working perfectly fine before. I propose to turn the simplifier ticks
error into a warning in the head and to turn it off completely in 7.4.1
until this is resolved.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:34>
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
