Mercurial > urweb

diff src/disjoint.sml @ 326:950320f33232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud list works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 18:32:41 -0400
parents 326fb4686f60
children 9601c717d2f3
line wrap: on
line diff
--- a/src/disjoint.sml	Thu Sep 11 17:41:52 2008 -0400
+++ b/src/disjoint.sml	Thu Sep 11 18:32:41 2008 -0400
@@ -199,6 +199,8 @@
                           | _ => (Unknown cAll :: acc, gs)
                     end
             in
+                (*Print.prefaces "decomposeRow'" [("c", ElabPrint.p_con env c),
+                                                ("c'", ElabPrint.p_con env (#1 (hnormCon (env, denv) c)))];*)
                 case #1 (#1 (hnormCon (env, denv) c)) of
                     CApp (
                     (CApp (