On Wed, 7 Feb 2024 at 12:00, Jan Kara <jack@xxxxxxx> wrote: > The problem always has been how to implement this functionality in a > transparent way so the code does not become a mess. So if you have some > idea, I'd say go for it :) My first idea would be to wrap all instances of E* (e.g. ERR(E*)). But this could be made completely transparent by renaming current definition of E* to _E* and defining E* to be the wrapped ones. There's probably a catch (or several catches) somewhere, though. Thanks, Miklos
