[m-rev.] trivial diff: `enum' in java grade

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix a bug that was reported to mercury-bugs.
`enum' has been a reserved word since Java 1.5 (5.0),
so make sure that we mangle it as we do with the other
reserved words.

compiler/java_util.m:
	Mangle the reserved word `enum'.

Julien.

Index: compiler/java_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/java_util.m,v
retrieving revision 1.12
diff -u -r1.12 java_util.m
--- compiler/java_util.m	30 Jun 2004 02:48:02 -0000	1.12
+++ compiler/java_util.m	27 Jan 2005 06:19:40 -0000
@@ -142,6 +142,7 @@
 java_util__is_keyword("do").
 java_util__is_keyword("double").
 java_util__is_keyword("else").
+java_util__is_keyword("enum").
 java_util__is_keyword("extends").
 java_util__is_keyword("false").
 java_util__is_keyword("final").

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------