# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1292542849 18000
# Node ID faad7d01b200b0c73d0e4de77773477fbfa73fd1
# Parent  9e0fa4f6ac9319eba6c9bc388bcfcc7a1d325e51
Restore behavior of not complaining about undetermined unification variables when there are other errors

diff -r 9e0fa4f6ac93 -r faad7d01b200 src/elaborate.sml
--- a/src/elaborate.sml	Thu Dec 16 13:35:40 2010 -0500
+++ b/src/elaborate.sml	Thu Dec 16 18:40:49 2010 -0500
@@ -4408,16 +4408,22 @@
                  (!delayedUnifs);
              delayedUnifs := []);
 
-        ignore (List.exists (fn d => if kunifsInDecl d then
-                                         (declError env'' (KunifsRemain [d]);
-                                          true)
-                                     else
-                                         false) file);
+        if ErrorMsg.anyErrors () then
+            ()
+        else
+            ignore (List.exists (fn d => if kunifsInDecl d then
+                                             (declError env'' (KunifsRemain [d]);
+                                              true)
+                                         else
+                                             false) file);
         
-        ignore (List.exists (fn d => case cunifsInDecl d of
-                                         NONE => false
-                                       | SOME _ => (declError env'' (CunifsRemain [d]);
-                                                    true)) file);
+        if ErrorMsg.anyErrors () then
+            ()
+        else
+            ignore (List.exists (fn d => case cunifsInDecl d of
+                                             NONE => false
+                                           | SOME _ => (declError env'' (CunifsRemain [d]);
+                                                        true)) file);
 
         if ErrorMsg.anyErrors () then
             ()