On Mon, Jan 02, 2023 at 05:03:31PM +0100, David Hildenbrand wrote: > With the exit() in place, the else branch is implicit and the else can be > dropped. Good point, we'll go to a v4 then :) that does neaten things up actually. Hopefully this should suffice! Agree with your previous point about tooling by the way, it would be good to have some more functionality in place that wraps these places where you feel the need to goto.
