| >> Yes, although note that Cabal passes -O by default. I'd recommend not | >> putting it in a pragma, as that will break | >> ./Setup configure --disable-optimization | > | > I think the question was how to get the RULES pragmas to be parsed. There's a bug I'm fixing (http://hackage.haskell.org/trac/ghc/ticket/2497). | I wondered whether it is possible to let the compiler read and store the | RULES pragmas without optimizing the code in the same module with respect | to these RULES. When I want to compile the code without optimization - for | whatever reason - I would still like to have the RULES checked. They could | still be applied when imported to another module that is compiled with | optimization. Indeed you can: use -fno-omit-interface-pragmas. This overrides the default, which is that with -O no non-essential info is put in the interface file. If you think it's worth improving the documentation (e.g. you didn't know about this), then I'd welcome a concrete suggestion. (eg Say "...this..." in the second bullet off ...".) Simon