Quote filenames with spaces in in SrcLoc
|Reported by:||rrt||Owned by:||nobody|
|Type of failure:||Difficulty:|
|Test Case:||Blocked By:|
To make parsing error messages easier, SrcLocs should quote file names that contain spaces. This would make life easier e.g. in the test suite, or when using Emacs to take you to the location of an error. Hugs already does something similar, I believe.
Change History (2)
Note: See TracTickets for help on using tickets.