monadic / selective names lookup for parsing & pretty-printing
aryairani opened this issue · comments
Arya Irani commented
As codebases are growing, it's increasingly intractable to pre-load all names, even with history excluded. (This applies to both UCM and Share.)
We want to just load the names that are needed for parsing (for specific lexed identifiers) or rendering (for specific dependencies).
Paul Chiusano commented
I thought Share already did something fancy for this... no?
Arya Irani commented
Err, right, good point. Share does something fancy for this (not positive if it covers all use cases, though it may), but UCM doesn't yet.
Mitchell Dalvi Rosen commented
Share does load all names in order to construct the pretty-print environment.