On Friday, 13 January 2023 at 12:20:23 UTC, Dennis wrote: > I don't think there's a way to test examples of separate > compilation in the spec currently. What must be added or changed in order to test every example which is intended to produce an executable?