Am Fr., 18. Aug. 2023 um 21:06 Uhr schrieb <christoph.thiede@student.hpi.uni-potsdam.de>:
Most importantly, you must never catch Exceptions instead of Errors but the current implementation does so. At the moment, we cannot even access any source files from a promise due to CurrentReadOnlySourceFiles. 

Can you please provide a concrete example for this? Maybe we can at least find a solution for this aspect quicker than for all the rest.