Changeset 2853


Ignore:
Timestamp:
Mar 12, 2013, 5:53:32 PM (4 years ago)
Author:
sacerdot
Message:

Pretty printing of line/label numbers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/joint_printer.ma

    r2847 r2853  
    4040 ; print_keyword: keyword → string
    4141 ; print_concat: string → string → string
     42 ; print_newline: string
    4243 ; print_empty: string
    4344 ; print_ident: ident → string
     
    7273      codeT p globals → A → A
    7374 ; print_succ: succ … p → string
     75 ; print_code_point: code_point p → string
    7476 }.
    7577
     
    8183  mk_code_iteration_params ???
    8284   (λA.λf:code_point (graph_params_to_params …) → ?.
    83      graph_fold … (λn. f (an_identifier … n)) …) (print_label … pp).
     85     graph_fold … (λn. f (an_identifier … n)) …)
     86   (print_label … pp) (print_label … pp).
    8487
    8588definition print_list:
     
    209212  printing_params string p → joint_internal_function p globals → string
    210213≝ λp,globals,string,cip,pp,f.
    211    fold_code … cip … (λcp.λstmt. print_concat … pp (print_joint_statement … pp cip stmt))
     214   fold_code … cip …
     215    (λcp.λstmt.λacc.
     216      print_list … pp
     217       [ print_code_point … cip cp;
     218         print_joint_statement … pp cip stmt;
     219         print_newline … pp;
     220         acc])
    212221    (joint_if_code … f) (print_empty … pp).
    213222
Note: See TracChangeset for help on using the changeset viewer.