From 4b2e9a5057bf04fa2eaef8faff4249d30981e70a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 4 Feb 2004 22:15:00 +0000
Subject: Localisation un tout petit peu moins abstraite des erreurs de garde,
 mais reste a transporter les loc dans check_fix

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5292 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/pretyping.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pretyping/pretyping.ml b/pretyping/pretyping.ml
index 56cb747b64..5f2d8d97dd 100644
--- a/pretyping/pretyping.ml
+++ b/pretyping/pretyping.ml
@@ -263,11 +263,11 @@ let rec pretype tycon env isevars lvar = function
 	match fixkind with
 	  | RFix (vn,i as vni) ->
 	      let fix = (vni,(names,lara,Array.map j_val vdefj)) in
-	      check_fix env fix;
+	      (try check_fix env fix with e -> Stdpp.raise_with_loc loc e);
 	      make_judge (mkFix fix) lara.(i)
 	  | RCoFix i -> 
 	      let cofix = (i,(names,lara,Array.map j_val vdefj)) in
-	      check_cofix env cofix;
+	      (try check_cofix env cofix with e -> Stdpp.raise_with_loc loc e);
 	      make_judge (mkCoFix cofix) lara.(i) in
       inh_conv_coerce_to_tycon loc env isevars fixj tycon
 
-- 
cgit v1.2.3