Hmm. Some transformations are controlled by individual flags, but not all. I'm afraid there's no substitute here for checking out the code and looking at it. If you get stuck I'll try to help S | -----Original Message----- | From: glasgow-haskell-users-admin@haskell.org [mailto:glasgow-haskell-users- | admin@haskell.org] On Behalf Of David Sabel | Sent: 02 April 2003 13:32 | To: glasgow-haskell-users@haskell.org | | 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 | | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users