Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/toCminor.mli

    r2773 r2960  
    495495  Types.option -> Csyntax.statement -> ((tmpgen, labgen) Types.prod,
    496496  Cminor_syntax.stmt) Types.prod Types.sig0 Errors.res
     497
     498val alloc_params_main :
     499  var_types -> lenv -> Csyntax.statement -> tmpgen -> convert_flag -> AST.typ
     500  Types.option -> (AST.ident, Csyntax.type0) Types.prod List.list ->
     501  ((tmpgen, labgen) Types.prod, Cminor_syntax.stmt) Types.prod Types.sig0 ->
     502  ((tmpgen, labgen) Types.prod, Cminor_syntax.stmt) Types.prod Types.sig0
     503  Errors.res
    497504
    498505val alloc_params :
Note: See TracChangeset for help on using the changeset viewer.