#5030: Slow type checking of type-level computation heavy code.
-------------------------------------------------------+--------------------
Reporter: thesz | Owner: igloo
Type: bug | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 7.0.2
Resolution: | Keywords:
Testcase: indexed-types/should_compile/SlowComp.hs | Blockedby:
Difficulty: | Os:
Unknown/Multiple
Blocking: | Architecture: x86
Failure: Compile-time performance bug |
-------------------------------------------------------+--------------------
Changes (by dimitris):
* owner: => igloo
Comment:
Ian, I've added a testcase for this in indexed-types/should_compile.
But could you add something (I don't know what exactly) so that we make
sure
that GHC does not take more than 3-4 seconds to compile this?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5030#comment:7>
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
