diff --git a/src/compiledDataDump.ml b/src/compiledDataDump.ml index 2e72313f25ac2701fc0895b544abe13869ec0443..1ff8d4ea3065d719841513c3cbb97bb53ea5d662 100644 --- a/src/compiledDataDump.ml +++ b/src/compiledDataDump.ml @@ -1,4 +1,4 @@ -(** Time-stamp: <modified the 04/07/2008 (at 17:25) by Erwan Jahier> *) +(** Time-stamp: <modified the 04/07/2008 (at 18:05) by Erwan Jahier> *) (* Call it LicDump? *) @@ -60,7 +60,7 @@ and string_def_of_type_eff = function (string_of_type_eff type_eff) ^ match const_eff_opt with None -> "" - | Some ce -> " (" ^ (string_of_const_eff ce) ^ ")" + | Some ce -> " = " ^ (string_of_const_eff ce) in "struct " ^ (List.fold_left (f "; ") (f "" " {" (List.hd fl)) (List.tl fl)) ^ "}" diff --git a/src/test/test.res.exp b/src/test/test.res.exp index 3252c36aeef3fdf05e57a6ab56bce7a526c0f6a3..19cbfe680004a74f287b20a405a1503b1c7a9806 100644 --- a/src/test/test.res.exp +++ b/src/test/test.res.exp @@ -3692,7 +3692,7 @@ Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/pfs.lus ---------------------------------------------------------------------- ====> ../lus2lic -vl 2 --compile-all-items should_work/Pascal/struct0.lus Opening file /home/jahier/lus2lic/src/test/should_work/Pascal/struct0.lus -type _struct0::Toto = struct {x : int (1); y : int (2)}; +type _struct0::Toto = struct {x : int = 1; y : int = 2}; node struct0::bibi(dummy:int) returns (z:_struct0::Toto); let z = Toto{x=3};