Mercurial > urweb

comparison src/elab_err.sml @ 628:12b73f3c108e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 12:01:24 -0500
parents 588b9d16b00a
children 1fb318c17546
comparison
equal deleted inserted replaced
627:f4f2b09a533a 628:12b73f3c108e
38 38
39 val simplCon = U.Con.mapB {kind = fn _ => fn k => k, 39 val simplCon = U.Con.mapB {kind = fn _ => fn k => k,
40 con = fn env => fn c => 40 con = fn env => fn c =>
41 let 41 let
42 val c = (c, ErrorMsg.dummySpan) 42 val c = (c, ErrorMsg.dummySpan)
43 val (c', _) = Disjoint.hnormCon (env, Disjoint.empty) c 43 val c' = ElabOps.hnormCon env c
44 in 44 in
45 (*prefaces "simpl" [("c", P.p_con env c), 45 (*prefaces "simpl" [("c", P.p_con env c),
46 ("c'", P.p_con env c')];*) 46 ("c'", P.p_con env c')];*)
47 #1 c' 47 #1 c'
48 end, 48 end,