> The thesis referenced above argues (and provides examples) that you cannot overcome important problems by separating transformations. You need to combine them

> The thesis referenced above argues (and provides examples) that you cannot overcome important problems by separating transformations. You need to combine them. The transformations need to be applied together, but they can be specified together. One of the many impressive things in that thesis is the framework which lets optimizations be independently specified, but applied together. Unfortunately, the code does not seem to be available. For a more recent system that echoes that particular aspect and does come with code there is Hoopl http://www.cs.tufts.edu/~nr/pubs/dfopt-abstract.html http://www.cs.tufts.edu/~nr/pubs/dfopt-abstract.html It's on hackage http://hackage.haskell.org/package/hoopl http://hackage.haskell.org/package/hoopl