Ignore:
Timestamp:
Apr 2, 2013, 1:25:09 AM (7 years ago)
Author:
sacerdot
Message:

New extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/toCminor.mli

    r2960 r3059  
    244244
    245245type destination =
    246 | IdDest of AST.ident * Csyntax.type0
     246| IdDest of AST.ident
    247247| MemDest of Cminor_syntax.expr Types.sig0
    248248
    249249val destination_rect_Type4 :
    250   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    251   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     250  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     251  Types.sig0 -> 'a1) -> destination -> 'a1
    252252
    253253val destination_rect_Type5 :
    254   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    255   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     254  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     255  Types.sig0 -> 'a1) -> destination -> 'a1
    256256
    257257val destination_rect_Type3 :
    258   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    259   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     258  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     259  Types.sig0 -> 'a1) -> destination -> 'a1
    260260
    261261val destination_rect_Type2 :
    262   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    263   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     262  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     263  Types.sig0 -> 'a1) -> destination -> 'a1
    264264
    265265val destination_rect_Type1 :
    266   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    267   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     266  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     267  Types.sig0 -> 'a1) -> destination -> 'a1
    268268
    269269val destination_rect_Type0 :
    270   var_types -> (AST.ident -> Csyntax.type0 -> __ -> 'a1) ->
    271   (Cminor_syntax.expr Types.sig0 -> 'a1) -> destination -> 'a1
     270  var_types -> AST.typ -> (AST.ident -> __ -> 'a1) -> (Cminor_syntax.expr
     271  Types.sig0 -> 'a1) -> destination -> 'a1
    272272
    273273val destination_inv_rect_Type4 :
    274   var_types -> destination -> (AST.ident -> Csyntax.type0 -> __ -> __ -> 'a1)
    275   -> (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
     274  var_types -> AST.typ -> destination -> (AST.ident -> __ -> __ -> 'a1) ->
     275  (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
    276276
    277277val destination_inv_rect_Type3 :
    278   var_types -> destination -> (AST.ident -> Csyntax.type0 -> __ -> __ -> 'a1)
    279   -> (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
     278  var_types -> AST.typ -> destination -> (AST.ident -> __ -> __ -> 'a1) ->
     279  (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
    280280
    281281val destination_inv_rect_Type2 :
    282   var_types -> destination -> (AST.ident -> Csyntax.type0 -> __ -> __ -> 'a1)
    283   -> (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
     282  var_types -> AST.typ -> destination -> (AST.ident -> __ -> __ -> 'a1) ->
     283  (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
    284284
    285285val destination_inv_rect_Type1 :
    286   var_types -> destination -> (AST.ident -> Csyntax.type0 -> __ -> __ -> 'a1)
    287   -> (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
     286  var_types -> AST.typ -> destination -> (AST.ident -> __ -> __ -> 'a1) ->
     287  (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
    288288
    289289val destination_inv_rect_Type0 :
    290   var_types -> destination -> (AST.ident -> Csyntax.type0 -> __ -> __ -> 'a1)
    291   -> (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
    292 
    293 val destination_discr : var_types -> destination -> destination -> __
    294 
    295 val destination_jmdiscr : var_types -> destination -> destination -> __
    296 
    297 val translate_dest : var_types -> Csyntax.expr -> __
     290  var_types -> AST.typ -> destination -> (AST.ident -> __ -> __ -> 'a1) ->
     291  (Cminor_syntax.expr Types.sig0 -> __ -> 'a1) -> 'a1
     292
     293val destination_discr :
     294  var_types -> AST.typ -> destination -> destination -> __
     295
     296val destination_jmdiscr :
     297  var_types -> AST.typ -> destination -> destination -> __
     298
     299val translate_dest : var_types -> Csyntax.expr -> destination Errors.res
    298300
    299301type lenv = PreIdentifiers.identifier Identifiers.identifier_map
Note: See TracChangeset for help on using the changeset viewer.