Ignore:
Timestamp:
Mar 13, 2013, 12:52:16 AM (7 years ago)
Author:
sacerdot
Message:

Trying to pretty print the code graph in visit order.
Slightly bugged ATM, IKD why.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.mli

    r2854 r2858  
    191191                                                                 'string ->
    192192                                                                 'string);
    193                                                   print_newline : 'string;
    194193                                                  print_empty : 'string;
    195194                                                  print_ident : (AST.ident ->
     
    209208val printing_pass_independent_params_rect_Type4 :
    210209  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    211   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    212   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    213   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    214   printing_pass_independent_params -> 'a2
     210  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     211  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     212  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     213  'a2
    215214
    216215val printing_pass_independent_params_rect_Type5 :
    217216  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    218   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    219   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    220   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    221   printing_pass_independent_params -> 'a2
     217  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     218  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     219  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     220  'a2
    222221
    223222val printing_pass_independent_params_rect_Type3 :
    224223  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    225   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    226   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    227   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    228   printing_pass_independent_params -> 'a2
     224  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     225  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     226  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     227  'a2
    229228
    230229val printing_pass_independent_params_rect_Type2 :
    231230  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    232   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    233   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    234   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    235   printing_pass_independent_params -> 'a2
     231  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     232  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     233  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     234  'a2
    236235
    237236val printing_pass_independent_params_rect_Type1 :
    238237  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    239   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    240   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    241   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    242   printing_pass_independent_params -> 'a2
     238  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     239  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     240  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     241  'a2
    243242
    244243val printing_pass_independent_params_rect_Type0 :
    245244  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
    246   -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
    247   (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
    248   'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
    249   printing_pass_independent_params -> 'a2
     245  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
     246  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
     247  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
     248  'a2
    250249
    251250val print_String :
     
    256255val print_concat : 'a1 printing_pass_independent_params -> 'a1 -> 'a1 -> 'a1
    257256
    258 val print_newline : 'a1 printing_pass_independent_params -> 'a1
    259 
    260257val print_empty : 'a1 printing_pass_independent_params -> 'a1
    261258
     
    276273val printing_pass_independent_params_inv_rect_Type4 :
    277274  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
    278   -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
     275  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    279276  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    280277  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
     
    283280val printing_pass_independent_params_inv_rect_Type3 :
    284281  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
    285   -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
     282  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    286283  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    287284  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
     
    290287val printing_pass_independent_params_inv_rect_Type2 :
    291288  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
    292   -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
     289  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    293290  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    294291  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
     
    297294val printing_pass_independent_params_inv_rect_Type1 :
    298295  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
    299   -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
     296  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    300297  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    301298  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
     
    304301val printing_pass_independent_params_inv_rect_Type0 :
    305302  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
    306   -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
     303  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    307304  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    308305  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
     
    545542  code_iteration_params -> __
    546543
     544val pm_choose_with_pref :
     545  'a1 PositiveMap.positive_map -> Positive.pos Types.option ->
     546  ((Positive.pos, 'a1) Types.prod, 'a1 PositiveMap.positive_map) Types.prod
     547  Types.option
     548
     549val visit_graph :
     550  ('a1 -> Positive.pos Types.option) -> (Positive.pos -> 'a1 -> 'a2 -> 'a2)
     551  -> 'a2 -> Positive.pos Types.option -> 'a1 PositiveMap.positive_map ->
     552  Nat.nat -> 'a2
     553
    547554val graph_code_iteration_params :
    548555  Joint.graph_params -> AST.ident List.list -> 'a1 printing_params -> 'a1
     
    569576val print_joint_internal_function :
    570577  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
    571   printing_params -> Joint.joint_internal_function -> 'a1
     578  printing_params -> Joint.joint_internal_function -> 'a1 List.list
    572579
    573580val print_joint_function :
    574581  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
    575   printing_params -> Joint.joint_function -> 'a1
     582  printing_params -> Joint.joint_function -> 'a1 List.list
    576583
    577584val print_joint_program :
    578585  Joint.params -> 'a1 printing_params -> Joint.joint_program -> 'a1
    579   code_iteration_params -> 'a1
    580 
     586  code_iteration_params -> (AST.ident, 'a1 List.list) Types.prod List.list
     587
Note: See TracChangeset for help on using the changeset viewer.