FIX: parsing of doc options

Lexing of the doc options pragma was changed, but but no change was
made to the parser to reflect that. This patch fixes this problem.

MERGE TO STABLE

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index 2bfb895..d91143f 100644 (file)
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -1859,7 +1859,7 @@ docsection :: { Located (n, HsDoc RdrName) }
       Right doc -> return (L1 (n, doc)) } }
 
 docoptions :: { String }
-  : DOCOPTIONS { getDOCOPTIONS $1 }
+  : DOCOPTIONS '#-}' { getDOCOPTIONS $1 }
 
 moduleheader :: { (HaddockModInfo RdrName, Maybe (HsDoc RdrName)) }                                    
         : DOCNEXT {% let string = getDOCNEXT $1 in