Mercurial > urweb

comparison src/elaborate.sml @ 1967:fca98a6cbe23

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Sun, 09 Feb 2014 19:29:50 -0500
parents 072656016dfa
children 2c075e875a47
comparison
equal deleted inserted replaced
1966:b15a4c2cb542 1967:fca98a6cbe23
871 val hasUnifs = U.Con.exists {kind = fn _ => false, 871 val hasUnifs = U.Con.exists {kind = fn _ => false,
872 con = fn L'.CUnif _ => true 872 con = fn L'.CUnif _ => true
873 | _ => false} 873 | _ => false}
874 874
875 val (others1, others2) = eatMatching (fn (c1, c2) => 875 val (others1, others2) = eatMatching (fn (c1, c2) =>
876 not (hasUnifs c1 andalso hasUnifs c2) 876 c1 = c2
877 andalso consEq env loc (c1, c2)) (#others s1, #others s2) 877 orelse (not (hasUnifs c1 andalso hasUnifs c2)
878 andalso consEq env loc (c1, c2))) (#others s1, #others s2)
878 (*val () = eprefaces "Summaries3" [("#1", p_summary env {fields = fs1, unifs = unifs1, others = others1}), 879 (*val () = eprefaces "Summaries3" [("#1", p_summary env {fields = fs1, unifs = unifs1, others = others1}),
879 ("#2", p_summary env {fields = fs2, unifs = unifs2, others = others2})]*) 880 ("#2", p_summary env {fields = fs2, unifs = unifs2, others = others2})]*)
880 881
881 fun unsummarize {fields, unifs, others} = 882 fun unsummarize {fields, unifs, others} =
882 let 883 let