From 901b6d55e625be136ddd677a3d8a36e5068de2ae Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Nov 2008 13:15:00 -0500
Subject: Some small changes while failing to write [restrict]

---
 src/disjoint.sml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/disjoint.sml')

diff --git a/src/disjoint.sml b/src/disjoint.sml
index 808d8413..c6a8d50f 100644
--- a/src/disjoint.sml
+++ b/src/disjoint.sml
@@ -53,6 +53,8 @@ fun p2s p =
 
 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 @@ structure PM = BinaryMapFn(PK)
 
 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
-- 
cgit v1.2.3