2 commits

Author	SHA1	Message	Date
Eelco Dolstra	7cb4d0c5b7	fetchToStore(): Don't always respect settings.readOnlyMode ... It's now up to the caller whether readOnlyMode should be applied. In some contexts (like InputScheme::fetch()), we always need to fetch.	2024-02-20 11:46:49 +01:00
Rebecca Turner	4feb7d9f71	Combine AbstractPos, PosAdapter, and Pos ... Also move `SourcePath` into `libutil`. These changes allow `error.hh` and `error.cc` to access source path and position information, which we can use to produce better error messages (for example, we could consider omitting filenames when two or more consecutive stack frames originate from the same file).	2024-01-08 10:59:41 -08:00