From d9ca83ef91f1092a4e5b35e329cc68da22e94027 Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 4 Nov 2005 08:18:25 +0000 Subject: Point-virgule manquant ligne 914 détecté par nouveau warning X de ocaml 3.09 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7503 85f007b7-540e-0410-9357-904b9bb8a0f7 --- toplevel/metasyntax.ml | 21 ++++++++++----------- 1 file changed, 10 insertions(+), 11 deletions(-) (limited to 'toplevel') diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index a58c6f54c..a99a15b35 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -890,28 +890,27 @@ let interp_modifiers = | SetEntryType (s,typ) :: l -> let id = id_of_string s in if List.mem_assoc id etyps then - error (s^" is already assigned to an entry or constr level") - else interp assoc level ((id,typ)::etyps) format l + error (s^" is already assigned to an entry or constr level"); + interp assoc level ((id,typ)::etyps) format l | SetItemLevel ([],n) :: l -> interp assoc level etyps format l | SetItemLevel (s::idl,n) :: l -> let id = id_of_string s in if List.mem_assoc id etyps then - error (s^" is already assigned to an entry or constr level") - else - let typ = ETConstr (n,()) in - interp assoc level ((id,typ)::etyps) format (SetItemLevel (idl,n)::l) + error (s^" is already assigned to an entry or constr level"); + let typ = ETConstr (n,()) in + interp assoc level ((id,typ)::etyps) format (SetItemLevel (idl,n)::l) | SetLevel n :: l -> - if level <> None then error "A level is given more than once" - else interp assoc (Some n) etyps format l + if level <> None then error "A level is given more than once"; + interp assoc (Some n) etyps format l | SetAssoc a :: l -> - if assoc <> None then error "An associativity is given more than once" - else interp (Some a) level etyps format l + if assoc <> None then error "An associativity is given more than once"; + interp (Some a) level etyps format l | SetOnlyParsing :: l -> onlyparsing := true; interp assoc level etyps format l | SetFormat s :: l -> - if format <> None then error "A format is given more than once" + if format <> None then error "A format is given more than once"; onlyparsing := true; interp assoc level etyps (Some s) l in interp None None [] None -- cgit v1.2.3