[r2003-03-08 15:40:31 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-08 15:40:31+00:00

types/patterns.ml

@@ -534,7 +534,8 @@ struct
     pl : Normal.t array;
     interface : interface;
     codes : return_code array;
-    mutable actions : actions option
+    mutable actions : actions option;
+    mutable printed : bool
   }
 
   let array_for_all f a =
@@ -681,7 +682,7 @@ let disp_0 = function
 		  pl = pl;
 		  interface = iface;
 		  codes = Array.of_list (List.rev !codes);
-		  actions = None } in
+		  actions = None; printed = false } in
       incr cur_id;
       dispatchers := DispMap.add (t,pl) res !dispatchers;
       res
@@ -1003,11 +1004,13 @@ let disp_0 = function
 	  a
 
   let to_print = ref []
-  let printed = ref []
+
+  module DSET = Set.Make (struct type t = int let compare (x:t) (y:t) = x - y end)
+  let printed = ref DSET.empty
 
   let queue d =
-    if not (List.mem d.id !printed) then (
-      printed := d.id :: !printed;
+    if not d.printed then (
+      d.printed <- true;
       to_print := d :: !to_print
     )