do a better job of ignoring unrecognised pragmas

33989e6e · Simon Marlow · 06855066 · 33989e6e
Commit 33989e6e authored Jul 12, 2006 by Simon Marlow
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

compiler/parser/Lexer.x compiler/parser/Lexer.x +5 -0

No files found.
--- 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.)