[m-rev.] Re: for review: fix conflicting type/constructor names in java

[Peter Wang]

2009/5/12 Peter Wang <novalazy at gmail.com>:
> Branches: main
>
> Avoid a problem with type names and constructor names that are the same.
> Java does not allow the name of a nested class to be the same as its
> enclosing class.  If we would violate that rule (when generating Java) then
> add the prefix "mr_" to the constructor name.  The user can still trigger the
> problem by naming a different constructor with the "mr_" prefix.

Committed.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------