#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