[r2003-03-14 23:04:01 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 23:04:01+00:00

types/types.ml

@@ -1186,6 +1186,9 @@ struct
   let any_or_absent = or_absent any
   let has_absent d = d.absent
 
+  let only_absent = {empty with absent = true}
+  let only_absent_node = cons only_absent
+
   module T = struct
     type t = descr
     let any = any_or_absent
@@ -1224,7 +1227,7 @@ struct
 	  if LabelMap.is_empty r then Any else
 	    Pair (any_or_absent, { empty with record = BoolRec.atom (o,r) })
 	else
-	  Pair ({empty with absent = true},
+	  Pair (only_absent,
 		{ empty with record = BoolRec.atom (o,r) })
     in
     List.fold_left 
@@ -1258,7 +1261,7 @@ struct
     t
 
   let remove_field d l = 
-    TR.pi2 (split d l)
+    cap (TR.pi2 (split d l)) (record l only_absent_node)
 
   let first_label d =
     let min = ref LabelPool.dummy_max in