# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1420298486 18000
# Node ID 32e2752390ad944b24bc88f31277d7e47c0c3569
# Parent  e1724f279db702761c884fbfa7a299b4a8ae8671
Fixing one small issue with changes to signature matching (grandfathered into release)

diff -r e1724f279db7 -r 32e2752390ad src/elaborate.sml
--- a/src/elaborate.sml	Sat Jan 03 09:56:57 2015 -0500
+++ b/src/elaborate.sml	Sat Jan 03 10:21:26 2015 -0500
@@ -2043,6 +2043,10 @@
                   | (L'.CTuple cs1, L'.CTuple cs2) => ListPair.all (ces env) (cs1, cs2)
                   | (L'.CProj (c1, n1), L'.CProj (c2, n2)) => ces env (c1, c2) andalso n1 = n2
                   | (L'.CUnif (_, _, _, _, r1), L'.CUnif (_, _, _, _, r2)) => r1 = r2
+
+                  | (L'.TFun (d1, r1), L'.TFun (d2, r2)) => ces env (d1, d2) andalso ces env (r1, r2)
+                  | (L'.TRecord c1, L'.TRecord c2) => ces env (c1, c2)
+                  
                   | _ => false
             end
     in