Mercurial > urweb

comparison src/elaborate.sml @ 2101:32e2752390ad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 8efba492c48b
children f42fea631c1d
comparison
equal deleted inserted replaced
2100:e1724f279db7 2101:32e2752390ad
2041 | (L'.CMap _, L'.CMap _) => true 2041 | (L'.CMap _, L'.CMap _) => true
2042 | (L'.CUnit, L'.CUnit) => true 2042 | (L'.CUnit, L'.CUnit) => true
2043 | (L'.CTuple cs1, L'.CTuple cs2) => ListPair.all (ces env) (cs1, cs2) 2043 | (L'.CTuple cs1, L'.CTuple cs2) => ListPair.all (ces env) (cs1, cs2)
2044 | (L'.CProj (c1, n1), L'.CProj (c2, n2)) => ces env (c1, c2) andalso n1 = n2 2044 | (L'.CProj (c1, n1), L'.CProj (c2, n2)) => ces env (c1, c2) andalso n1 = n2
2045 | (L'.CUnif (_, _, _, _, r1), L'.CUnif (_, _, _, _, r2)) => r1 = r2 2045 | (L'.CUnif (_, _, _, _, r1), L'.CUnif (_, _, _, _, r2)) => r1 = r2
2046
2047 | (L'.TFun (d1, r1), L'.TFun (d2, r2)) => ces env (d1, d2) andalso ces env (r1, r2)
2048 | (L'.TRecord c1, L'.TRecord c2) => ces env (c1, c2)
2049
2046 | _ => false 2050 | _ => false
2047 end 2051 end
2048 in 2052 in
2049 ces 2053 ces
2050 end 2054 end