Sergey Bugaev, le jeu. 13 mai 2021 15:28:01 +0300, a ecrit: > On Wed, May 12, 2021 at 11:48 PM Samuel Thibault > <samuel.thiba...@gnu.org> wrote: > > It'd probably mean introducing types > > here and there, but that'd be a really good thing to do. > > > > The port type is useful indeed and is most often available in the types > > already. > > Oh, do you mean the types specified in .defs?
Yes. > * rpctrace has to learn to parse defs, instead of (or in addition to) msgids > * GNU MIG needs to be taught to emit more info into msgids files Either of those. Probably the latter would be more interesting long-term. We could introduce a new file format that encodes the RPCs in a way that is easy to parse for programs, similary to what the msgid files, does, but more powerful. > And the Hurd also does this, in fact! > It's just that there's no RPC that exposes this info to clients. I thought this was added along the get_source RPC, but apparently not. It could indeed be a useful addition. Samuel
