generator: 'interface' is a reserved word in Java.
authorRichard Jones <rjones@redhat.com>
Fri, 12 Feb 2010 11:46:40 +0000 (11:46 +0000)
committerRichard Jones <rjones@redhat.com>
Fri, 12 Feb 2010 11:46:40 +0000 (11:46 +0000)
src/generator.ml

index 2cede47..7db58eb 100755 (executable)
@@ -4787,6 +4787,7 @@ let check_functions () =
           "for"; "forall"; "foreign"; "fun"; "function"; "functor"; "goto";
           "hiding"; "if"; "import"; "in"; "include"; "infix"; "infixl";
           "infixr"; "inherit"; "initializer"; "inline"; "instance"; "int";
+          "interface";
           "land"; "lazy"; "let"; "long"; "lor"; "lsl"; "lsr"; "lxor";
           "match"; "mdo"; "method"; "mod"; "module"; "mutable"; "new";
           "newtype"; "object"; "of"; "open"; "or"; "private"; "qualified";