Re: Is gcj dead?

Joel Dice wrote:
> On Tue, 20 Oct 2009, Joel Dice wrote:
> 
>> On Tue, 20 Oct 2009, Andrew Haley wrote:
>>
>>> It seems that I was waiting for a complete patch, but one never arrived.
>>> Any patch that goes in now really must be correct and complete, though.
>>
>> Agreed.  My (possibly naive) suggestion would be to use an escape
>> character or sequence which cannot appear in Java symbol ($$U, perhaps?).
> 
> Actually, "$$U" may not be ideal - the Java spec permits "$" in
> identifiers (but recommends only using it for mechanically generated
> code and legacy compatibility).

I am not at all sure this *can* be fixed in any sensible way.  The best we
could probably do is fix gjavah to emit

  static void xy__U_ser();

instead of

  static void xy__User();

This is slightly unpleasant, but at least it's tolerable.

I'm not really sure that it's worth doing, though.

Andrew.