[MLton-user] comments in path map files?

[Sean McLaughlin]

Hi,

  Would it be possible to add some kind of comment syntax to path map
files for use with the -mlb-path-map option?

Thanks,

Sean