Don't restrict filenames in line pragmas to printable characters; fixes #4207
authorIan Lynagh <igloo@earth.li>
Thu, 5 Aug 2010 13:50:11 +0000 (13:50 +0000)
committerIan Lynagh <igloo@earth.li>
Thu, 5 Aug 2010 13:50:11 +0000 (13:50 +0000)
"printable" is ASCII-only, whereas in other locales we can get things like
# 1 "<línea-de-orden>"

compiler/cmm/CmmLex.x

index 1963479..a5defb6 100644 (file)
@@ -74,7 +74,7 @@ $white_no_nl+         ;
 -- single-line line pragmas, of the form
 --    # <line> "<file>" <extra-stuff> \n
 <line_prag> $digit+                    { setLine line_prag1 }
-<line_prag1> \" ($printable # \")* \"  { setFile line_prag2 }
+<line_prag1> \" [^\"]* \"      { setFile line_prag2 }
 <line_prag2> .*                                { pop }
 
 <0> {