Changeset 2983


Ignore:
Timestamp:
Mar 27, 2013, 6:17:17 PM (4 years ago)
Author:
sacerdot
Message:

LIN code was printed in reverse order. But I have not really understood why...

Files:
2 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.ml

    r2982 r2983  
    12261226    'a1 printing_pass_independent_params -> 'a1 List.list -> 'a1 **)
    12271227let print_list pp =
    1228   List.foldr pp.print_concat pp.print_empty
     1228  List.foldl pp.print_concat pp.print_empty
    12291229
    12301230(** val print_joint_seq :
  • src/joint/joint_printer.ma

    r2982 r2983  
    104104 ∀string. printing_pass_independent_params string → list string → string ≝
    105105 λstring,pp.
    106   foldr ?? (print_concat … pp) (print_empty … pp). 
     106  foldl ?? (print_concat … pp) (print_empty … pp). 
    107107
    108108definition print_joint_seq :
Note: See TracChangeset for help on using the changeset viewer.