[project @ 2003-09-08 14:46:37 by panne]

*sigh* Handle lines like (note the blank!):

{-# LINE 1 "<command line>" #-}

diff --git a/ghc/compiler/parser/Lexer.x b/ghc/compiler/parser/Lexer.x
index 316cb10..344f0c4 100644 (file)
--- a/ghc/compiler/parser/Lexer.x
+++ b/ghc/compiler/parser/Lexer.x
@@ -157,7 +157,7 @@ $white_no_nl+                               ;
 -- Haskell-style line pragmas, of the form
 --    {-# LINE <line> "<file>" #-}
 <line_prag2> $digit+                   { set_line line_prag2a }
-<line_prag2a> \" $graphic* \"          { set_file line_prag2b }
+<line_prag2a> \" [$graphic \ ]* \"     { set_file line_prag2b }
 <line_prag2b> "#-}"                    { pop }
 
 <0,glaexts> {