From: Simon Marlow Date: Wed, 12 Jul 2006 08:35:50 +0000 (+0000) Subject: do a better job of ignoring unrecognised pragmas X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;ds=sidebyside;h=33989e6eb745ca9d54ba638bc89bec7660cba4be;p=ghc-hetmet.git do a better job of ignoring unrecognised pragmas --- 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.)