diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-03-12 23:59:05 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-03-12 23:59:05 +0000 |
| commit | 3b7ecfa6d4da684a635b2469c2d9a2e1e0ed0807 (patch) | |
| tree | 2ce23cad6a0067480658001f0636efbdd3269b51 /toplevel | |
| parent | b66d099bdda2ce1cfaeeb7938346a348ef4d40cd (diff) | |
invalid_arg instead of raise (Invalid_argement ...)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16270 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/classes.ml | 2 | ||||
| -rw-r--r-- | toplevel/indschemes.ml | 2 | ||||
| -rw-r--r-- | toplevel/obligations.ml | 6 |
3 files changed, 5 insertions, 5 deletions
diff --git a/toplevel/classes.ml b/toplevel/classes.ml index 570e66deb..8bb7c859f 100644 --- a/toplevel/classes.ml +++ b/toplevel/classes.ml @@ -308,7 +308,7 @@ let named_of_rel_context l = let acc, ctx = List.fold_right (fun (na, b, t) (subst, ctx) -> - let id = match na with Anonymous -> raise (Invalid_argument "named_of_rel_context") | Name id -> id in + let id = match na with Anonymous -> invalid_arg "named_of_rel_context" | Name id -> id in let d = (id, Option.map (substl subst) b, substl subst t) in (mkVar id :: subst, d :: ctx)) l ([], []) diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml index a0300738b..3aaf49548 100644 --- a/toplevel/indschemes.ml +++ b/toplevel/indschemes.ml @@ -400,7 +400,7 @@ let list_split_rev_at index l = in aux 0 [] l let fold_left' f = function - [] -> raise (Invalid_argument "fold_left'") + [] -> invalid_arg "fold_left'" | hd :: tl -> List.fold_left f hd tl let build_combined_scheme env schemes = diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index 765ffae95..b52a7b2cd 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -167,9 +167,9 @@ let evar_dependencies evm oev = Int.Set.fold (fun ev s -> let evi = Evd.find evm ev in let deps' = evars_of_evar_info evi in - if Int.Set.mem oev deps' then - raise (Invalid_argument ("Ill-formed evar map: cycle detected for evar " ^ string_of_int oev)) - else Int.Set.union deps' s) + if Int.Set.mem oev deps' then + invalid_arg ("Ill-formed evar map: cycle detected for evar " ^ string_of_int oev) + else Int.Set.union deps' s) deps deps in let rec aux deps = |