Commit d8f4a2b7 authored by Pietro Abate's avatar Pietro Abate
Browse files

Fix printer for record types

parent a96c08aa
......@@ -1732,13 +1732,11 @@ struct
) (Pair.get x)) not_seq.toplvars not_seq.arrow;
(* records *)
(*
prepare_boolvar BoolRec.get (fun x ->
List.iter (fun (r,some,none) ->
prepare_boolvar BoolRec.get (Rec.equal Rec.full) (fun x ->
List.map (fun (r,some,none) ->
let r = LabelMap.map (fun (o,t) -> (o, prepare t)) r in
add (Record (r,some,none))
) (Record.get x)) not_seq.toplvars not_seq;
*)
(Record (r,some,none))
) (Record.get { empty with record = BoolRec.atom (`Atm x) })) not_seq.toplvars not_seq.record;
List.iter (fun x -> add (Atomic x)) (Abstract.print not_seq.abstract);
......
......@@ -228,7 +228,6 @@ module Record : sig
val project_opt : t -> label -> t
val has_empty_record: t -> bool
val first_label: t -> label
val all_labels: t -> LabelSet.t
......@@ -239,7 +238,6 @@ module Record : sig
val get: t -> ((bool * t) label_map * bool * bool) list
type t
val focus: descr -> label -> t
val get_this: t -> descr
......
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