SourceManager should take care of multiple files
Closed this issue · 1 comments
feroldi commented
Right now, SourceManager
can only handle one file. Its content are read and kept in a byte-stream. It should be capable of loading multiple files and concatenate all content into one big buffer. Every file would have an offset into the buffer, pointing where that file starts at. That's useful, for example, to discovering which file a SourceLocation
belongs to.
feroldi commented
Turns out I ain't gonna need it. Maybe if under some future circumstances, but not right now.