[GHC] #13011: Simplifier ticks exhausted: a 10-line case

[GHC]

#13011: Simplifier ticks exhausted: a 10-line case
-------------------------------------+-------------------------------------
        Reporter:  L.K.Rebellion     |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:  Simplifier
                                     |  ticks exhausted
Operating System:  Linux             |         Architecture:  x86
 Type of failure:  Compile-time      |            Test Case:
  crash or panic                     |
      Blocked By:                    |             Blocking:
 Related Tickets:  #8319 #12776      |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by George):

 Given Simon's comment above and the doc that seems to say this will never
 be fixed does it make sense to leave this as high priority?

 Note also that the error message says:


   If GHC was unable to complete compilation even with a very large factor
   (a thousand or more), please consult the "Known bugs or infelicities"
   section in the Users Guide before filing a report. There are a
   few situations unlikely to occur in practical programs for which
   simplifier non-termination has been judged acceptable.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13011#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler