[GHC] #9872: Runing type functions is too slow

[GHC]

#9872: Runing type functions is too slow
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:
             Component:  Compiler    |          Version:  7.8.3
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"37c2ed4bc3d4ff0a4681e9d27c7f748886e413f6/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="37c2ed4bc3d4ff0a4681e9d27c7f748886e413f6"
 Optimise partitionFunEqs for the 'false' case

 In the examples from Trac #9872 we were getting a large set of inert
 CFunEqCans,
 and partitioning them was taking ages.  This patch improves it somewhat by
 optimising
 the partition for the case where the predicat is false.

 The ticket has more info.
 }}}

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