Simon Marlow simonmar@microsoft.com
Mon, 21 Oct 2002 13:39:10 +0100

> What's the standard paper about optimisations and program=20
> transformation?

A recent one is "Secrets of the GHC inliner", available here:


The other good place to look is Andre Santos's thesis (sorry, I don't
have a URL for that handy).

> Which transformations are used by the GHC, especially which=20
> optimisations are applied at optimisation level 0, 1 and 2?

The only transformation which is currently applied at level 2 but not
level 1 is constructor specialisation (it is experimental and we haven't
measured the benefit yet).  Level 1 has everything else turned on, and
level 0 has simplification only.