#8095: TypeFamilies painfully slow
-------------------------------------+-------------------------------------
Reporter: | Owner:
MikeIzbicki | Status: new
Type: bug | Milestone: 7.10.1
Priority: high | Version: 7.6.3
Component: Compiler | Keywords:
(Type checker) | Architecture: Unknown/Multiple
Resolution: | Difficulty: Unknown
Operating System: | Blocked By:
Unknown/Multiple | Related Tickets: 5321
Type of failure: Compile- |
time performance bug |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Changes (by thomie):
* priority: normal => high
* milestone: => 7.10.1
Comment:
Running the first example from the description with ghc HEAD:
{{{
$ ./Types 200 a a > test.hs && ghc-7.9.20141119 test.hs > /dev/null
-fcontext-stack=250 +RTS -t
test.hs:12:10:
Type function application stack overflow; size = 201
Use -ftype-function-depth=N to increase stack size to N
Replicate1 'Zero () ~ '[]
In the instance declaration for ‘Class (Data xs)’
<