Require a bang pattern when unlifted types are where/let bound; #3182

[ghc-hetmet.git] / compiler / parser / ParserCore.y

diff --git a/compiler/parser/ParserCore.y b/compiler/parser/ParserCore.y
index 17d1098..49f70e4 100644 (file)
--- a/compiler/parser/ParserCore.y
+++ b/compiler/parser/ParserCore.y
@@ -1,5 +1,5 @@
 {
-{-# OPTIONS -w #-}
+{-# OPTIONS -Wwarn #-}
 -- 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
@@ -275,12 +275,11 @@ exp       :: { IfaceExpr }
        | '%case' '(' ty ')' aexp '%of' id_bndr
          '{' alts1 '}'               { IfaceCase $5 (fst $7) $3 $9 }
         | '%cast' aexp aty { IfaceCast $2 $3 }
--- No InlineMe any more
---     | '%note' STRING exp       
---         { case $2 of
---            --"SCC"      -> IfaceNote (IfaceSCC "scc") $3
---            "InlineMe"   -> IfaceNote IfaceInlineMe $3
---            }
+       | '%note' STRING exp       
+           { case $2 of
+              --"SCC"      -> IfaceNote (IfaceSCC "scc") $3
+              "InlineMe"   -> IfaceNote IfaceInlineMe $3
+            }
         | '%external' STRING aty   { IfaceFCall (ForeignCall.CCall 
                                                     (CCallSpec (StaticTarget (mkFastString $2)) 
                                                                CCallConv (PlaySafe False)))