Skip to content

Quote filenames with spaces in in SrcLoc

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.
Trac metadata
Trac field Value
Version None
Type FeatureRequest
TypeOfFailure OtherFailure
Priority normal
Resolution ResolvedNoReason
Component None
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information