warning-suppression granularity (was: Redundant constraints)

2015-01-07 Thread Herbert Valerio Riedel
On 2015-01-07 at 16:40:49 +0100, Simon Peyton Jones wrote: [...] > Yes, a per-function way to suppress the warning might be useful. But > I have not implemented that. At the moment it’s just per-module. Btw, there are a couple of other warnings, I have been wishing to have a way to disable the

RE: warning-suppression granularity (was: Redundant constraints)

2015-01-07 Thread Simon Peyton Jones
| Btw, there are a couple of other warnings, I have been wishing to have | a way to disable them on a per-entity basis... any chance for for a | general syntax to suppress warnings on a more granular level than per- | module? I think that would be a fine idea. But we'd need some kind of concr