Happy does not reject pragmas

I was about to report a bug in GHC's handling of -fno-warn-missing signatures in pragmas, but wasn't able to reproduce it. Then I noticed it: the problem was that the pragma was at the very top of a .y file, where it was simply discarded, like this:

{-# OPTIONS_GHC -fno-warn-missing-signatures #-} {- -*- Haskell -*- -}

{

Happy should probably not just silently discard pragmas.

Trac metadata

Trac field	Value
Version	6.10.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Build System
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tbug Trac import labels

changed milestone to %6.12 branch

changed milestone to %6.12.3

removed milestone

changed weight to 3

Trac metadata

Trac field	Value
Priority	normal → low

changed milestone to %7.0.2

changed milestone to %7.2.1

changed milestone to %7.4.1

changed milestone to %7.6.1

changed weight to 0

Trac metadata

Trac field	Value
Priority	low → lowest

changed milestone to %7.6.2

changed milestone to %7.10.1

Moving to 7.10.1.

closed

Thank you for your report. This doesn't seem like a GHC problem (anymore).

To make sure Happy doesn't treat the pragma as a comment (it doesn't know about pragmas, as you noticed), wrap it in an extra pair of curly braces, so that it is treated as a module header.

{{-# OPTIONS_GHC -fno-warn-missing-signatures #-}} {- -*- Haskell -*- -}
%tokentype { Token }
%%
doc : {  }

If you're still having problems with happy, please reraise it at the Happy issue tracker: https://github.com/simonmar/happy/issues.

Trac metadata

Trac field	Value
TypeOfFailure	- → OtherFailure
Resolution	Unresolved → ResolvedInvalid

The new Hadrian build system has been merged. Relabeling the tickets concerning the legacy make build system to prevent confusion.

Trac metadata

Trac field	Value
Component	Build System → Build System (make)

added Plow label