RE: -frules-off

Trouble is, GHC does not distinguish specialisation rules in any way.
-fno-specialisation says not to *generate* any specialisation rules;
-frules-off says not to *apply* any rules.

I suppose you are distinguishing specialisation rules by their name --
whether they start "SPEC...".  That'll work, but I'm disinclined to
change the compiler unless more people yell.

I'll document -frules-off a bit more though

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-admin@xxxxxxxxxxx
[mailto:glasgow-haskell-bugs-admin@xxxxxxxxxxx] On
| Behalf Of Kirsten Chevalier
| Sent: 17 July 2003 07:29
| To: glasgow-haskell-bugs@xxxxxxxxxxx
| Subject: -frules-off
| 
| Not exactly a bug, but -frules-off doesn't do exactly what I would
expect --
| it effectively disables specialization, whereas it would be useful (to
me,
| anyway) for it to disable user-defined rules while still applying
rules
| generated by the compiler, such as specialization rules. Since there's
| another option that disables specialization (I think), it would seem
| sensible for -frules-off to work that way. I have a fix that involves
| changing activeRule (in simplify/SimplMonad.lhs) back to the way it
was
| before and changing lookupRule (in specialise/Rules.lhs) to check
whether
| opt_RulesOff is true, and, if so, only return the matching rule if
it's a
| SPEC rule, but undoubtedly there's a better way.
| 
| --
| Kirsten Chevalier * krc@xxxxxxxxxxxxxxxxxxx * Often in error, never in
doubt
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs