Mercurial > urweb
diff src/disjoint.sml @ 326:950320f33232
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 (