Mercurial > urweb
diff src/disjoint.sml @ 478:6ee1c761818f
Some small changes while failing to write [restrict]
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 08 Nov 2008 13:15:00 -0500 |
| parents | b85e6ba56618 |
| children | 8998114760c1 |
line wrap: on
line diff
--- a/src/disjoint.sml Sat Nov 08 12:24:23 2008 -0500 +++ b/src/disjoint.sml Sat Nov 08 13:15:00 2008 -0500 @@ -53,6 +53,8 @@ fun pp p = print (p2s p ^ "\n") +fun rp2s (p, ns) = String.concatWith " " (p2s p :: map Int.toString ns) + structure PK = struct type ord_key = piece @@ -104,6 +106,12 @@ type env = PS.set PM.map +fun p_env x = + (print "\nDENV:\n"; + PM.appi (fn (p1, ps) => + PS.app (fn p2 => + print (rp2s p1 ^ " ~ " ^ rp2s p2 ^ "\n")) ps) x) + structure E = ElabEnv type goal = ErrorMsg.span * E.env * env * Elab.con * Elab.con