Mercurial > urweb

comparison src/elaborate.sml @ 849:e571fb150a9f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a bug in type class enrichment from substructures
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Jun 2009 14:38:01 -0400
parents e8594cfa3236
children d1d0b18afd3d
comparison
equal deleted inserted replaced
848:e8594cfa3236 849:e571fb150a9f
694 (L'.CName x1, L'.CName x2) => x1 <> x2 694 (L'.CName x1, L'.CName x2) => x1 <> x2
695 | _ => false 695 | _ => false
696 696
697 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = 697 and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) =
698 let 698 let
699 val loc = #2 k
700 (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)), 699 (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)),
701 ("#1", p_summary env s1), 700 ("#1", p_summary env s1),
702 ("#2", p_summary env s2)]*) 701 ("#2", p_summary env s2)]*)
703 702
704 fun eatMatching p (ls1, ls2) = 703 fun eatMatching p (ls1, ls2) =