https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47781
Jan Wielemaker <j...@swi-prolog.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |j...@swi-prolog.org --- Comment #27 from Jan Wielemaker <j...@swi-prolog.org> --- It is really a pity this can't be resolved :( We have quite a few extensions in the SWI-Prolog source code, mostly for debug messages that deal with internal data structures. It makes writing debug messages a lot easier. What about this: add a pragma that associates a regular expression with a list of types. For example (don't take this literally, I know little about the #pragma conventions). #pragma GCC printf "t" (term_t) Now if the compiler scans a template and finds a %, it runs through these declarations in the order they have been declared. On the first match it knows the type(s) expected from the argument list and continues after the regex match.