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.

Reply via email to