Work around missing type signature in Happy

[ghc-hetmet.git] / utils / hpc / HpcParser.y

diff --git a/utils/hpc/HpcParser.y b/utils/hpc/HpcParser.y
index bfdf9a8..b4d8c79 100644 (file)
--- a/utils/hpc/HpcParser.y
+++ b/utils/hpc/HpcParser.y
@@ -1,9 +1,17 @@
 { 
-{-# OPTIONS -w #-}
+{-# OPTIONS -Wwarn -XNoMonomorphismRestriction #-}
+-- The NoMonomorphismRestriction deals with a Happy infelicity
+--    With OutsideIn's more conservativ monomorphism restriction
+--    we aren't generalising
+--        notHappyAtAll = error "urk"
+--    which is terrible.  Switching off the restriction allows
+--    the generalisation.  Better would be to make Happy generate
+--    an appropriate signature.
+--
 -- The above warning supression flag is a temporary kludge.
 -- While working on this module you are encouraged to remove it and fix
 -- any warnings in the module. See
---     http://hackage.haskell.org/trac/ghc/wiki/CodingStyle#Warnings
+--     http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
 -- for details
 
 module HpcParser where
@@ -12,6 +20,7 @@ import HpcLexer
 }
 
 %name parser
+%expect 0
 %tokentype { Token }
 
 %token
@@ -31,7 +40,7 @@ import HpcLexer
        '}'             { SYM '}' }
        int             { INT $$ }
        string          { STR $$ }
-       cat             { STR $$ }
+       cat             { CAT $$ }
 %%
 
 Spec    :: { Spec }