1 | Parser | 988952 | 0.38 |
2 | Renamer/typechecker | 4061928 | 3.19 |
3 | Desugar | 1021704 | 0.65 |
4 | Simplifier | 9783160 | 6.85 |
5 | Specialise | 180912 | 0.09 |
6 | Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = False}) | 623600 | 0.40 |
7 | Simplifier | 3189104 | 1.80 |
8 | Simplifier | 982208 | 0.53 |
9 | Simplifier | 982208 | 0.52 |
10 | Float inwards | 21448 | 0.01 |
11 | Called arity analysis | 23008 | 0.01 |
12 | Simplifier | 1291544 | 0.66 |
13 | Demand analysis | 984992 | 0.40 |
14 | Worker Wrapper binds | 62528 | 0.06 |
15 | Simplifier | 4536392 | 2.53 |
16 | Exitification transformation | 23936 | 0.02 |
17 | Float out(FOS {Lam = Just 0, Consts = True, OverSatApps = True}) | 764304 | 0.56 |
18 | Common sub-expression | 22552 | 0.01 |
19 | Float inwards | 21448 | 0.01 |
20 | Simplifier | 3359232 | 4.17 |
21 | Demand analysis | 1099512 | 0.47 |
22 | CoreTidy | 645912 | 0.42 |
23 | CorePrep | 22408 | 0.02 |
24 | CodeGen | 12528224 | 9.84 |
25 | CorePrep | 22408 | 0.03 |
26 | CodeGen | 12610456 | 8.45 |