RE: happy, ghc and {# OPTIONS #} pragma

Martin Norbäck writes:

...

{-# OPTIONS -fglasgow-exts -cpp #-} -- parser produced by Happy Version 1.13 {-# OPTIONS -fno-warn-unused-matches #-}

Generally, it'd be nice to be able to occasionally suppress warnings for sections of code (with better than module granularity), where you know the code is safe.

Any chance of something like that?

Yes, it would indeed be useful. I doubt we'll get around to it in the near future, though. Cheers, Simon