From aefcace126000897c60a5312082807d213bbc435 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 23 Dec 2010 11:23:31 -0500
Subject: Recursive record unification errors, for more detail

---
 src/elaborate.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index c791cff6..4e59a8ed 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -907,7 +907,7 @@
                              if consEq env loc (c1, c2) then
                                  findPointwise fs1
                              else
-                                 SOME (nm1, c1, c2)
+                                 SOME (nm1, c1, c2, (unifyCons env loc c1 c2; NONE) handle CUnify (_, _, err) => SOME err)
              in
                  raise CUnify' (CRecordFailure (unsummarize s1, unsummarize s2, findPointwise (#fields s1)))
              end
-- 
cgit v1.2.3