#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):
Oh, that's nice, I didn't know that. The
[http://www.haskell.org/ghc/docs/latest/html/users_guide/pragmas.html
#inlinable-pragma docs] say something quite different.
Alas, I suspect it's not enough for `vector-algorithms` (although it's
Dan's code so he will know for sure). The problem is that, to use a simple
example, `INLINABLE` would work for `sort` but not for `sortBy`. The
latter would have to be specialised based on its first argument rather
than on a dictionary. And, of course, it wouldn't work for `sort` if that
latter was defined as `sortBy compare`. But I believe that this is
essentially what `vector-algorithms` (quite sensibly) does throughout the
library. So it isn't really clear to me how the current version of
`INLINABLE` could be used here without compromising generality.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5539#comment:38>
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
