Modifying the simplifier

2 Apr 2003

      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