From 043669e582870be26eff682560187698bbc9e101 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 25 Jan 2012 17:12:38 +0000
Subject: Check for unresolved evars in textual order of the params and fields
 declarations (fixes bug #2278).

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

diff --git a/toplevel/record.ml b/toplevel/record.ml
index 86849cbbb2..64942a5d2d 100644
--- a/toplevel/record.ml
+++ b/toplevel/record.ml
@@ -81,8 +81,8 @@ let typecheck_params_and_fields id t ps nots fs =
   let newps = Evarutil.nf_rel_context_evar sigma newps in
   let newfs = Evarutil.nf_rel_context_evar sigma newfs in
   let ce t = Evarutil.check_evars env0 Evd.empty evars t in
-    List.iter (fun (n, b, t) -> Option.iter ce b; ce t) newps;
-    List.iter (fun (n, b, t) -> Option.iter ce b; ce t) newfs;
+    List.iter (fun (n, b, t) -> Option.iter ce b; ce t) (List.rev newps);
+    List.iter (fun (n, b, t) -> Option.iter ce b; ce t) (List.rev newfs);
     imps, newps, impls, newfs
 
 let degenerate_decl (na,b,t) =
-- 
cgit v1.2.3