Is there an easy way to turn off some of the local transformations in the simplifier? The background: I'm writing my master thesis about compiling the unsafePerformIO in a "safe" way in the ghc. For that I used a nondeterministic semantics which simulates the IO. After a lot of theoretical work it has pointed out, that some of the local transformations of the ghc are no longer correct (from my point of view). Now I want to implement a prototype by modifying the ghc. Especially the eta-expansion, case-elimination must be turned off, inling in general is'nt correct too, so I would like to turn it off for now and later modify the implementation for this transformation. David Sabel ----------- JWGU Frankfurt