[m-dev.] for review: Java backend

[Julien Fischer]

On Wed, 14 Feb 2001, Fergus Henderson wrote:

> 
> > +% NOTES: 
> > +%       Strings in the generated Java source must be fully qualified 
> > +%       as `java.lang.String' to avoid conflicting with the library module
> > +%       `mercury.String'.
> 
> Hmm, in general it would be best to fully qualify all Java names in the
> generated Java source, wouldn't it?

In general we do fully qualify all Java names.  I think that comment was
written because it is particulary easy to forget to do it with String. 
I'll change the comment to something to the effect that we
should qualify all Java names.

Julien
 


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------