From cd1ed24ba5d709ab9b7d31e501c6d85e3f7256e1 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 4 Oct 2004 09:38:04 +0000 Subject: [PATCH] "in" and "and" are now keywords --- helm/ocaml/cic_disambiguation/cicTextualLexer2.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml index ba70d2745..6c2986eaa 100644 --- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml +++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml @@ -51,7 +51,8 @@ let regexp uri = let keywords = Hashtbl.create 17 let _ = List.iter (fun keyword -> Hashtbl.add keywords keyword ("", keyword)) - [ "Prop"; "Type"; "Set"; "let"; "Let"; "rec"; "using"; "match"; "with" ] + [ "Prop"; "Type"; "Set"; "let"; "Let"; "rec"; "using"; "match"; "with"; + "in"; "and" ] let error lexbuf msg = raise (Error (Ulexing.lexeme_start lexbuf, Ulexing.lexeme_end lexbuf, msg)) -- 2.39.2