Commit 227c58cc authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: cvscast
Date: 2003-03-14 23:04:01+00:00
parent e4949133
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment