From e850f6914657190baf65db55c2fdecee2d38bee1 Mon Sep 17 00:00:00 2001 From: David Waern Date: Tue, 2 Oct 2007 14:38:49 +0000 Subject: [PATCH] Change DOCOPTIONS pragma to DOC_OPTIONS MERGE TO STABLE --- compiler/parser/Lexer.x | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index a63fa3b..47fd107 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -257,7 +257,7 @@ $tab+ { warn Opt_WarnTabs (text "Tab character") } "{-#" $whitechar* (CORE|core) { token ITcore_prag } "{-#" $whitechar* (UNPACK|unpack) { token ITunpack_prag } - "{-#" $whitechar* (DOCOPTIONS|docoptions) + "{-#" $whitechar* (DOC_OPTIONS|doc_options) / { ifExtension haddockEnabled } { lex_string_prag ITdocOptions } "{-#" { nested_comment lexToken } -- 1.7.10.4