From 48a9ff73319d0d065bff2b9374c84bcf6438cb20 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Fri, 12 Feb 2010 11:46:40 +0000 Subject: [PATCH] generator: 'interface' is a reserved word in Java. --- src/generator.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/generator.ml b/src/generator.ml index 2cede47..7db58eb 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -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"; -- 1.8.3.1