[r2004-12-28 11:21:41 by afrisch] Pretty-print abstract types

Original author: afrisch
Date: 2004-12-28 11:21:41+00:00

types/types.ml

@@ -183,10 +183,12 @@ struct
   include SortedList.FiniteCofinite(T)
 
   let print = function
-    | Finite [] -> [ ]
-    | Cofinite [] -> [ fun ppf -> Format.fprintf ppf "Abstract" ]
     | Finite l -> List.map (fun x ppf -> Format.fprintf ppf "!%s" x) l
-    | Cofinite _ -> assert false
+    | Cofinite l ->       
+	[ fun ppf ->
+	  Format.fprintf ppf "@[Abstract";
+	  List.iter (fun x -> Format.fprintf ppf " \\@ !%s" x) l;
+	  Format.fprintf ppf "@]" ]
 
 end