Mercurial > urweb

comparison src/elaborate.sml @ 1589:fb0388f1180e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Strengthen consNeq, to avoid unwise unifications
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 11:33:59 -0400
parents 65d6488c82d5
children 20f898c29525
comparison
equal deleted inserted replaced
1588:65d6488c82d5 1589:fb0388f1180e
771 | (L'.CRel _, L'.CNamed _) => true 771 | (L'.CRel _, L'.CNamed _) => true
772 | (L'.CNamed _, L'.CRel _) => true 772 | (L'.CNamed _, L'.CRel _) => true
773 | (L'.CRel _, L'.CModProj _) => true 773 | (L'.CRel _, L'.CModProj _) => true
774 | (L'.CModProj _, L'.CRel _) => true 774 | (L'.CModProj _, L'.CRel _) => true
775 | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2 775 | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2
776 | (L'.CModProj _, L'.CName _) => true
777 | (L'.CName _, L'.CModProj _) => true
778 | (L'.CNamed _, L'.CName _) => true
779 | (L'.CName _, L'.CNamed _) => true
776 | _ => false 780 | _ => false
777 781
778 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = 782 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) =
779 let 783 let
780 val () = reducedSummaries := NONE 784 val () = reducedSummaries := NONE