Modifying the simplifier

Simon Peyton-Jones simonpj@microsoft.com
Fri, 4 Apr 2003 16:36:04 +0100


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
|=20
| Is there an easy way to turn off some of the local transformations in
| the simplifier?
|=20
| 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.
|=20
| David Sabel
| -----------
| JWGU Frankfurt
|=20
|=20
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users