Mercurial > urweb

comparison src/elaborate.sml @ 1583:7fcdf836b761

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Clear reducedSummaries
author Adam Chlipala <adam@chlipala.net>
date Fri, 28 Oct 2011 08:54:44 -0400
parents dfb38a333816
children c37d8341940a
comparison
equal deleted inserted replaced
1582:dfb38a333816 1583:7fcdf836b761
775 | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2 775 | (L'.CModProj (_, _, n1), L'.CModProj (_, _, n2)) => n1 <> n2
776 | _ => false 776 | _ => false
777 777
778 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = 778 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) =
779 let 779 let
780 val () = reducedSummaries := NONE
781
780 (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)), 782 (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)),
781 ("#1", p_summary env s1), 783 ("#1", p_summary env s1),
782 ("#2", p_summary env s2)]*) 784 ("#2", p_summary env s2)]*)
783 785
784 fun eatMatching p (ls1, ls2) = 786 fun eatMatching p (ls1, ls2) =