Diego Novillo wrote:
On Mon, Sep 8, 2008 at 11:04, Basile STARYNKEVITCH
<[EMAIL PROTECTED]> wrote:
I understood that all prettyprinting is systematically using an obstack as a
buffer (actually, I renamed the FILE* field to something else, and it does
not appear a lot).
I wouldn't oppose a patch that lets us support both types of output.
The FILE * support should not be removed, however.
Of course not, indeed the FILE* support is kept!
I already committed in the MELT branch the few changes to make it work.
But I didn't test it a lot, and I don't have time to send this patch to
gcc-patches@ this week. (Curious people might have a glance inside the
MELT branch now).
Regards.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***
