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