Mercurial > urweb
changeset 2101:32e2752390ad
Fixing one small issue with changes to signature matching (grandfathered into release)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 03 Jan 2015 10:21:26 -0500 |
| parents | e1724f279db7 |
| children | 0bd46c9e363f |
| files | src/elaborate.sml |
| diffstat | 1 files changed, 4 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- 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