From 33989e6eb745ca9d54ba638bc89bec7660cba4be Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Wed, 12 Jul 2006 08:35:50 +0000
Subject: [PATCH] do a better job of ignoring unrecognised pragmas

---
 compiler/parser/Lexer.x |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x
index f6863c6..8ef2071 100644
--- a/compiler/parser/Lexer.x
+++ b/compiler/parser/Lexer.x
@@ -216,6 +216,11 @@ $white_no_nl+ 				;
   "{-#" $whitechar* (INCLUDE|include)   { lex_string_prag ITinclude_prag }
 }
 
+<0,option_prags,glaexts> {
+	-- This is to catch things like {-# OPTIONS OPTIONS_HUGS ... 
+  "{-#" $whitechar* $idchar+            { nested_comment }
+}
+
 -- '0' state: ordinary lexemes
 -- 'glaexts' state: glasgow extensions (postfix '#', etc.)
 
-- 
1.7.10.4