Changeset 2983 for src/joint


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

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • 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.