Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/elab_err.sml	Sun Feb 22 17:39:55 2009 -0500
+++ b/src/elab_err.sml	Tue Feb 24 12:01:24 2009 -0500
@@ -40,7 +40,7 @@
                            con = fn env => fn c =>
                                               let
                                                   val c = (c, ErrorMsg.dummySpan)
-                                                  val (c', _) = Disjoint.hnormCon (env, Disjoint.empty) c
+                                                  val c' = ElabOps.hnormCon env c
                                               in
                                                   (*prefaces "simpl" [("c", P.p_con env c),
                                                                     ("c'", P.p_con env c')];*)