Don't restrict filenames in line pragmas to printable characters; fixes #4207

"printable" is ASCII-only, whereas in other locales we can get things like
# 1 "<línea-de-orden>"

diff --git a/compiler/cmm/CmmLex.x b/compiler/cmm/CmmLex.x
index 1963479..a5defb6 100644 (file)
--- a/compiler/cmm/CmmLex.x
+++ b/compiler/cmm/CmmLex.x
@@ -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> {