From 59d197f311ae4d29b9c2c7909ccd8c9c8975c90e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Jan 2015 10:21:26 -0500 Subject: Fixing one small issue with changes to signature matching (grandfathered into release) --- src/elaborate.sml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/elaborate.sml') diff --git a/src/elaborate.sml b/src/elaborate.sml index ca3bac24..f6819830 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -2043,6 +2043,10 @@ val consEqSimple = | (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 -- cgit v1.2.3