ucsd-progsys/liquidhaskell — pull request #7 by ranjitjhala (2012-10-29 00:38:55+00:00)
Title: Perf: Major performance improvements to fixpoint and constraint generation

Three major additions:

1. Constraints are tagged with a top-level "callgraph" id that is used to prioritize constraints during solving.
2. We generate a "cut k_*" annotation to denote kut-variables.

(not clear which of the above two yield the significant gains -- so leaving both in for now.)

3. The -sortedquals switch is used to use qual-parameters during instantiation.
Drops instantiation time for Data/Map/Base.hs from 200s to 2s.