[project @ 2003-09-08 13:31:35 by panne]

Handle lines like (note the blank!):

# 1 "<command line>"

diff --git a/ghc/compiler/parser/Lexer.x b/ghc/compiler/parser/Lexer.x
index 922860e..0f2e23e 100644 (file)
--- a/ghc/compiler/parser/Lexer.x
+++ b/ghc/compiler/parser/Lexer.x
@@ -151,7 +151,7 @@ $white_no_nl+                               ;
 -- single-line line pragmas, of the form
 --    # <line> "<file>" <extra-stuff> \n
 <line_prag1> $digit+                   { set_line line_prag1a }
-<line_prag1a> \" $graphic* \"          { set_file line_prag1b }
+<line_prag1a> \" [$graphic \ ]* \"     { set_file line_prag1b }
 <line_prag1b> .*                       { pop }
 
 -- Haskell-style line pragmas, of the form