From 5ccedd80f734c4e2d3789f399880b589dec8c70e Mon Sep 17 00:00:00 2001
From: David Waern <davve@dtek.chalmers.se>
Date: Tue, 2 Oct 2007 14:37:13 +0000
Subject: [PATCH] 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
---
 compiler/parser/Parser.y.pp |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index 2bfb895..d91143f 100644
--- 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
-- 
1.7.10.4