[GHC] #15164: Slowdown in ghc compile times from GHC 8.0.2 to GHC 8.2.1 when doing Called arity analysis

[GHC]

#15164: Slowdown in ghc compile times from GHC 8.0.2 to GHC 8.2.1 when doing Called
arity analysis
-------------------------------------+-------------------------------------
        Reporter:  flip101           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  highest           |            Milestone:  8.6.1
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  performance bug                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by flip101):

 Hi nomeata. When i started to develop my program i got some errors that
 some deductions/proof could not be made. Actually i don't remember the
 exact term for it and the exact error message. Anyway after asking around
 it was clear i had to put these constraints. I left these constraints in
 place while further developing my code and also using other packages. Now
 i tried to remove them again and i don't get any errors about it and the
 compiler speed looks good too (minutes, not days/weeks). I still need to
 verify if the program does what i expect it to do, but at least it
 compiles fast now. I think it's a good solution for me, but still a
 problem for GHC, so i will leave this issue open.

 Good job on identifying this issue everyone. It's very nice.

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