Commit 41e1c3e6 authored by Pietro Abate's avatar Pietro Abate
Browse files

Minor changes in Types.update_tlv

parent 823cb976
......@@ -512,14 +512,12 @@ let update_tlv x y t =
(aux BoolRec.get t.record)
]
in
let fv t = if Descr.is_empty t then Var.Set.empty else
Var.Set.union x.toplvars.fv y.toplvars.fv in
{ t with toplvars =
{
tlv = tlv t ;
fv = fv t ;
isvar = t.toplvars.isvar
} }
let fv t =
if Descr.is_empty t then Var.Set.empty
else Var.Set.union x.toplvars.fv y.toplvars.fv
in
let toplvars = { tlv = tlv t ; fv = fv t ; isvar = t.toplvars.isvar } in
{ t with toplvars = toplvars }
;;
let char c = { empty with chars = BoolChars.atom (`Atm c) }
......@@ -566,7 +564,7 @@ let cap x y =
absent= x.absent && y.absent;
toplvars = TLV.empty
} in
let isvar = (is_var x && equal x t) || (is_var y && equal y t) in
let isvar = (is_var x && equal x t) (* || (is_var y && equal y t) *) in
update_tlv x y { t with toplvars = { t.toplvars with TLV.isvar = isvar }}
let diff x y =
......
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