Ignore:
Timestamp:
Mar 27, 2013, 6:05:41 PM (8 years ago)
Author:
sacerdot
Message:

Pretty priting of LIN implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.mli

    r2951 r2982  
    218218                                                              -> 'string);
    219219                                                  print_Op2 : (BackEndOps.op2
    220                                                               -> 'string) }
     220                                                              -> 'string);
     221                                                  print_nat : (Nat.nat ->
     222                                                              'string) }
    221223
    222224val printing_pass_independent_params_rect_Type4 :
     
    224226  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    225227  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    226   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    227   'a2
     228  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     229  printing_pass_independent_params -> 'a2
    228230
    229231val printing_pass_independent_params_rect_Type5 :
     
    231233  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    232234  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    233   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    234   'a2
     235  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     236  printing_pass_independent_params -> 'a2
    235237
    236238val printing_pass_independent_params_rect_Type3 :
     
    238240  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    239241  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    240   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    241   'a2
     242  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     243  printing_pass_independent_params -> 'a2
    242244
    243245val printing_pass_independent_params_rect_Type2 :
     
    245247  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    246248  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    247   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    248   'a2
     249  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     250  printing_pass_independent_params -> 'a2
    249251
    250252val printing_pass_independent_params_rect_Type1 :
     
    252254  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    253255  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    254   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    255   'a2
     256  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     257  printing_pass_independent_params -> 'a2
    256258
    257259val printing_pass_independent_params_rect_Type0 :
     
    259261  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
    260262  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
    261   (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
    262   'a2
     263  (BackEndOps.op2 -> 'a1) -> (Nat.nat -> 'a1) -> 'a2) -> 'a1
     264  printing_pass_independent_params -> 'a2
    263265
    264266val print_String :
     
    284286
    285287val print_Op2 : 'a1 printing_pass_independent_params -> BackEndOps.op2 -> 'a1
     288
     289val print_nat : 'a1 printing_pass_independent_params -> Nat.nat -> 'a1
    286290
    287291val printing_pass_independent_params_inv_rect_Type4 :
     
    289293  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    290294  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    291   -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
    292   -> 'a2
     295  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
     296  -> 'a1) -> __ -> 'a2) -> 'a2
    293297
    294298val printing_pass_independent_params_inv_rect_Type3 :
     
    296300  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    297301  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    298   -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
    299   -> 'a2
     302  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
     303  -> 'a1) -> __ -> 'a2) -> 'a2
    300304
    301305val printing_pass_independent_params_inv_rect_Type2 :
     
    303307  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    304308  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    305   -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
    306   -> 'a2
     309  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
     310  -> 'a1) -> __ -> 'a2) -> 'a2
    307311
    308312val printing_pass_independent_params_inv_rect_Type1 :
     
    310314  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    311315  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    312   -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
    313   -> 'a2
     316  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
     317  -> 'a1) -> __ -> 'a2) -> 'a2
    314318
    315319val printing_pass_independent_params_inv_rect_Type0 :
     
    317321  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
    318322  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
    319   -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
    320   -> 'a2
     323  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> (Nat.nat
     324  -> 'a1) -> __ -> 'a2) -> 'a2
    321325
    322326val printing_pass_independent_params_jmdiscr :
     
    478482  printing_pass_independent_params
    479483
    480 type 'string code_iteration_params = { fold_code : (__ -> (__ ->
    481                                                    Joint.joint_statement ->
    482                                                    __ -> __) -> __ -> __ ->
    483                                                    __);
    484                                        print_succ : (__ -> 'string);
    485                                        print_code_point : (__ -> 'string) }
     484type 'string print_serialization_params = { print_succ : (__ -> 'string);
     485                                            print_code_point : (__ ->
     486                                                               'string) }
     487
     488val print_serialization_params_rect_Type4 :
     489  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     490  print_serialization_params -> 'a2
     491
     492val print_serialization_params_rect_Type5 :
     493  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     494  print_serialization_params -> 'a2
     495
     496val print_serialization_params_rect_Type3 :
     497  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     498  print_serialization_params -> 'a2
     499
     500val print_serialization_params_rect_Type2 :
     501  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     502  print_serialization_params -> 'a2
     503
     504val print_serialization_params_rect_Type1 :
     505  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     506  print_serialization_params -> 'a2
     507
     508val print_serialization_params_rect_Type0 :
     509  Joint.params -> ((__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1
     510  print_serialization_params -> 'a2
     511
     512val print_succ : Joint.params -> 'a1 print_serialization_params -> __ -> 'a1
     513
     514val print_code_point :
     515  Joint.params -> 'a1 print_serialization_params -> __ -> 'a1
     516
     517val print_serialization_params_inv_rect_Type4 :
     518  Joint.params -> 'a1 print_serialization_params -> ((__ -> 'a1) -> (__ ->
     519  'a1) -> __ -> 'a2) -> 'a2
     520
     521val print_serialization_params_inv_rect_Type3 :
     522  Joint.params -> 'a1 print_serialization_params -> ((__ -> 'a1) -> (__ ->
     523  'a1) -> __ -> 'a2) -> 'a2
     524
     525val print_serialization_params_inv_rect_Type2 :
     526  Joint.params -> 'a1 print_serialization_params -> ((__ -> 'a1) -> (__ ->
     527  'a1) -> __ -> 'a2) -> 'a2
     528
     529val print_serialization_params_inv_rect_Type1 :
     530  Joint.params -> 'a1 print_serialization_params -> ((__ -> 'a1) -> (__ ->
     531  'a1) -> __ -> 'a2) -> 'a2
     532
     533val print_serialization_params_inv_rect_Type0 :
     534  Joint.params -> 'a1 print_serialization_params -> ((__ -> 'a1) -> (__ ->
     535  'a1) -> __ -> 'a2) -> 'a2
     536
     537val print_serialization_params_discr :
     538  Joint.params -> 'a1 print_serialization_params -> 'a1
     539  print_serialization_params -> __
     540
     541val print_serialization_params_jmdiscr :
     542  Joint.params -> 'a1 print_serialization_params -> 'a1
     543  print_serialization_params -> __
     544
     545type ('string, 'statementT) code_iteration_params = { cip_print_serialization_params :
     546                                                      'string
     547                                                      print_serialization_params;
     548                                                      fold_code : (__ -> (__
     549                                                                  ->
     550                                                                  'statementT
     551                                                                  -> __ ->
     552                                                                  __) -> __
     553                                                                  -> __ ->
     554                                                                  __);
     555                                                      print_statementT :
     556                                                      ('statementT ->
     557                                                      'string) }
    486558
    487559val code_iteration_params_rect_Type4 :
    488   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    489   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    490   'a1 code_iteration_params -> 'a2
     560  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     561  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     562  -> ('a1, 'a2) code_iteration_params -> 'a3
    491563
    492564val code_iteration_params_rect_Type5 :
    493   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    494   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    495   'a1 code_iteration_params -> 'a2
     565  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     566  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     567  -> ('a1, 'a2) code_iteration_params -> 'a3
    496568
    497569val code_iteration_params_rect_Type3 :
    498   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    499   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    500   'a1 code_iteration_params -> 'a2
     570  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     571  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     572  -> ('a1, 'a2) code_iteration_params -> 'a3
    501573
    502574val code_iteration_params_rect_Type2 :
    503   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    504   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    505   'a1 code_iteration_params -> 'a2
     575  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     576  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     577  -> ('a1, 'a2) code_iteration_params -> 'a3
    506578
    507579val code_iteration_params_rect_Type1 :
    508   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    509   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    510   'a1 code_iteration_params -> 'a2
     580  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     581  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     582  -> ('a1, 'a2) code_iteration_params -> 'a3
    511583
    512584val code_iteration_params_rect_Type0 :
    513   Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
    514   -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
    515   'a1 code_iteration_params -> 'a2
     585  Joint.params -> AST.ident List.list -> ('a1 print_serialization_params ->
     586  (__ -> (__ -> 'a2 -> __ -> __) -> __ -> __ -> __) -> ('a2 -> 'a1) -> 'a3)
     587  -> ('a1, 'a2) code_iteration_params -> 'a3
     588
     589val cip_print_serialization_params :
     590  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     591  'a1 print_serialization_params
    516592
    517593val fold_code0 :
    518   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> (__ ->
    519   Joint.joint_statement -> 'a2 -> 'a2) -> __ -> 'a2 -> 'a2
    520 
    521 val print_succ :
    522   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
    523   'a1
    524 
    525 val print_code_point :
    526   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
    527   'a1
     594  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     595  (__ -> 'a2 -> 'a3 -> 'a3) -> __ -> 'a3 -> 'a3
     596
     597val print_statementT :
     598  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     599  'a2 -> 'a1
    528600
    529601val code_iteration_params_inv_rect_Type4 :
    530   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
    531   (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
    532   -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
     602  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     603  ('a1 print_serialization_params -> (__ -> (__ -> 'a2 -> __ -> __) -> __ ->
     604  __ -> __) -> ('a2 -> 'a1) -> __ -> 'a3) -> 'a3
    533605
    534606val code_iteration_params_inv_rect_Type3 :
    535   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
    536   (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
    537   -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
     607  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     608  ('a1 print_serialization_params -> (__ -> (__ -> 'a2 -> __ -> __) -> __ ->
     609  __ -> __) -> ('a2 -> 'a1) -> __ -> 'a3) -> 'a3
    538610
    539611val code_iteration_params_inv_rect_Type2 :
    540   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
    541   (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
    542   -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
     612  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     613  ('a1 print_serialization_params -> (__ -> (__ -> 'a2 -> __ -> __) -> __ ->
     614  __ -> __) -> ('a2 -> 'a1) -> __ -> 'a3) -> 'a3
    543615
    544616val code_iteration_params_inv_rect_Type1 :
    545   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
    546   (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
    547   -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
     617  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     618  ('a1 print_serialization_params -> (__ -> (__ -> 'a2 -> __ -> __) -> __ ->
     619  __ -> __) -> ('a2 -> 'a1) -> __ -> 'a3) -> 'a3
    548620
    549621val code_iteration_params_inv_rect_Type0 :
    550   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
    551   (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
    552   -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
     622  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     623  ('a1 print_serialization_params -> (__ -> (__ -> 'a2 -> __ -> __) -> __ ->
     624  __ -> __) -> ('a2 -> 'a1) -> __ -> 'a3) -> 'a3
    553625
    554626val code_iteration_params_jmdiscr :
    555   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
    556   code_iteration_params -> __
     627  Joint.params -> AST.ident List.list -> ('a1, 'a2) code_iteration_params ->
     628  ('a1, 'a2) code_iteration_params -> __
    557629
    558630val pm_choose_with_pref :
     
    566638  Nat.nat -> 'a2
    567639
    568 val graph_code_iteration_params :
    569   Joint.graph_params -> AST.ident List.list -> 'a1 printing_params -> 'a1
    570   code_iteration_params
    571 
    572640val print_list : 'a1 printing_pass_independent_params -> 'a1 List.list -> 'a1
    573641
     
    586654val print_joint_statement :
    587655  Joint.params -> AST.ident List.list -> 'a1 printing_params -> 'a1
    588   code_iteration_params -> Joint.joint_statement -> 'a1
     656  print_serialization_params -> Joint.joint_statement -> 'a1
     657
     658val graph_print_serialization_params :
     659  Joint.graph_params -> 'a1 printing_params -> 'a1 print_serialization_params
     660
     661val graph_code_iteration_params :
     662  Joint.graph_params -> AST.ident List.list -> 'a1 printing_params -> ('a1,
     663  Joint.joint_statement) code_iteration_params
     664
     665val lin_print_serialization_params :
     666  Joint.lin_params -> 'a1 printing_params -> 'a1 print_serialization_params
     667
     668val lin_code_iteration_params :
     669  Joint.lin_params -> AST.ident List.list -> 'a1 printing_params -> ('a1,
     670  (Graphs.label Types.option, Joint.joint_statement) Types.prod)
     671  code_iteration_params
    589672
    590673val print_joint_internal_function :
    591   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
    592   printing_params -> Joint.joint_internal_function -> 'a1 List.list
     674  Joint.params -> AST.ident List.list -> ('a2, 'a1) code_iteration_params ->
     675  'a2 printing_params -> Joint.joint_internal_function -> 'a2 List.list
    593676
    594677val print_joint_function :
    595   Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
    596   printing_params -> Joint.joint_function -> 'a1 List.list
     678  Joint.params -> AST.ident List.list -> ('a2, 'a1) code_iteration_params ->
     679  'a2 printing_params -> Joint.joint_function -> 'a2 List.list
    597680
    598681val print_joint_program :
    599   Joint.params -> 'a1 printing_params -> Joint.joint_program -> 'a1
    600   code_iteration_params -> (AST.ident, 'a1 List.list) Types.prod List.list
    601 
     682  Joint.params -> 'a2 printing_params -> Joint.joint_program -> ('a2, 'a1)
     683  code_iteration_params -> (AST.ident, 'a2 List.list) Types.prod List.list
     684
Note: See TracChangeset for help on using the changeset viewer.