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

[r2002-11-10 22:53:22 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 22:53:22+00:00
parent 9f9826f5
......@@ -6,7 +6,7 @@ let eval_env = Eval.global_env
let print_norm ppf d =
Location.protect ppf
(fun ppf -> Types.Print.print_descr ppf (Types.normalize d))
(fun ppf -> Types.Print.print_descr ppf ((*Types.normalize*) d))
let print_value ppf v =
Location.protect ppf (fun ppf -> Value.print ppf v)
......@@ -490,7 +490,16 @@ struct
with Not_found ->
DescrHash.add marks d (ref None);
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.times;
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.xml;
(fun (n1,n2) ->
(fun (d1,d2) ->
mark_descr d2;
let l = get_record d1.record in
List.iter (List.iter (fun (l,(o,d)) -> mark_descr d)) l
(Product.normal (descr n2))
) d.xml;
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.arrow;
bool_iter (fun (l,o,n) -> mark n) d.record
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