Message323200
> Or, define a new "get_sourcemap()" method that could return additional metadata, e.g. a line number mapping.
What's your use case for that? I am asking because it might make more sense for get_source() (or whatever its replacement is) to return the already-mapped sources. |
|
Date |
User |
Action |
Args |
2018-08-06 12:10:11 | jdemeyer | set | recipients:
+ jdemeyer, brett.cannon, paul.moore, ncoghlan, scoder, petr.viktorin, erik.bray, eric.snow, sth |
2018-08-06 12:10:11 | jdemeyer | set | messageid: <1533557411.28.0.56676864532.issue32797@psf.upfronthosting.co.za> |
2018-08-06 12:10:11 | jdemeyer | link | issue32797 messages |
2018-08-06 12:10:11 | jdemeyer | create | |
|