Changeset 2859


Ignore:
Timestamp:
Mar 13, 2013, 1:19:48 AM (4 years ago)
Author:
sacerdot
Message:

Pretty printing improved (now it always starts the visit from lbl 1).

Files:
3 edited

Legend:

Unmodified
Added
Removed
  • driver/backendPrinter.ml

    r2858 r2859  
    148148       let commands = list_of_matitalist commands in
    149149       print_ident ident ^ ":\n" ^
    150        String.concat "\n" commands
     150       String.concat "\n" (List.rev commands)
    151151     )
    152152    l)
  • extracted/joint_printer.ml

    r2858 r2859  
    10811081      | Types.None -> Types.None
    10821082      | Types.Some label -> let p = label in Types.Some p) (fun n ->
    1083       Obj.magic f n) a Types.None (let m' = Obj.magic m in m')
     1083      Obj.magic f n) a (Types.Some Positive.One) (let m' = Obj.magic m in m')
    10841084      (Identifiers.id_map_size PreIdentifiers.LabelTag (Obj.magic m)));
    10851085    print_succ = (Obj.magic pp.print_pass_ind.print_label);
  • src/joint/joint_printer.ma

    r2858 r2859  
    106106     (λstmt. match stmt_implicit_label ?? stmt with
    107107       [ None ⇒ None … | Some label ⇒ match label with [an_identifier p ⇒ Some … p]])
    108      ? (λn. f (an_identifier … n)) a (None …)
     108     ? (λn. f (an_identifier … n)) a (Some … one)
    109109     (match M with [an_id_map M' ⇒ M']) (id_map_size … M))
    110110   (print_label … pp) (print_label … pp).
Note: See TracChangeset for help on using the changeset viewer.