Changeset 2985 for extracted


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

Order of printing of lines in LIN fixed again, truly this time. But I still
do not understand why I needed to reverse the list.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.ml

    r2983 r2985  
    13861386  { cip_print_serialization_params = (lin_print_serialization_params lp pp);
    13871387    fold_code = (fun _ f m a ->
    1388     (List.foldr (fun x res ->
     1388    (Util.foldl (fun res x ->
    13891389      let { Types.fst = pc; Types.snd = res' } = res in
    13901390      { Types.fst = (Nat.S pc); Types.snd = (Obj.magic f pc x res') })
Note: See TracChangeset for help on using the changeset viewer.