> I'm afraid this doesn't work, since OPTIONS_GHC flags are *pre*pended to > the given options, and therefore overwritten by stuff like -Wall. This can't be right, because we definitely have used OPTIONS_GHC to add some -fno-warn-* options in the past (just do a quick grep). Have you tried it? Edward