#14944: Compile speed regression -------------------------------------+------------------------------------- Reporter: br1 | Owner: dfeuer Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dfeuer): === 8.0.2 Paper: {{{ Result size of CorePrep = {terms: 2,704, types: 5,400, coercions: 996} }}} Main: {{{ Result size of Desugar (after optimization) = {terms: 4,574, types: 632,608, coercions: 196} Result size of Specialise = {terms: 13,274, types: 2,100,628, coercions: 392} Result size of Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) = {terms: 14,860, types: 2,335,846, coercions: 392} Result size of Simplifier iteration=1 = {terms: 15,614, types: 2,423,788, coercions: 366,704} Result size of Simplifier iteration=2 = {terms: 10,121, types: 2,098,814, coercions: 322,579} .... Result size of Simplifier = {terms: 12,570, types: 2,807,500, coercions: 320,217} Result size of Tidy Core = {terms: 5,208, types: 1,104,414, coercions: 84,359} }}} === 8.2.2 Paper: {{{ Result size of CorePrep = {terms: 3,280, types: 5,538, coercions: 1,000, joins: 2/50} }}} Main: {{{ Result size of Desugar (after optimization) = {terms: 4,564, types: 632,574, coercions: 196, joins: 0/982} Result size of Simplifier iteration=1 = {terms: 6,858, types: 1,023,896, coercions: 86,509, joins: 0/786} Result size of Simplifier iteration=2 = {terms: 4,014, types: 726,796, coercions: 85,137, joins: 1/2} ... Result size of Specialise = {terms: 9,329, types: 1,646,724, coercions: 168,346, joins: 2/2} *** Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) [Main]: Result size of Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) = {terms: 10,823, types: 1,939,926, coercions: 168,346, joins: 1/2} Result size of Simplifier iteration=1 = {terms: 9,648, types: 1,706,501, coercions: 227,811, joins: 2/2} Result size of Simplifier iteration=2 = {terms: 9,349, types: 1,647,213, coercions: 168,353, joins: 2/2} ... Result size of Tidy Core = {terms: 5,212, types: 1,104,424, coercions: 84,359, joins: 2/2} }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14944#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler