Ignore:
Timestamp:
Jun 3, 2011, 5:35:30 PM (9 years ago)
Author:
campbell
Message:

Refine "AST" types to include size/signedness information.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/test/search.ma

    r816 r879  
    2020definition C_cost7 := costlabel_of_nat 1.
    2121definition f_search := Internal ? (mk_internal_function
    22   (mk_signature [ASTptr Any; ASTint; ASTint] (Some ? ASTint))
     22  (mk_signature [ASTptr Any; ASTint I8 Signed; ASTint I8 Signed] (Some ? (ASTint I8 Signed)))
    2323  [id_search_tab; id_search_size; id_search_to_find]
    2424  [id_search_tmp0; id_search_low; id_search_high; id_search_i]
     
    101101definition C_cost9 := costlabel_of_nat 18.
    102102definition f_main := Internal ? (mk_internal_function
    103   (mk_signature [] (Some ? ASTint))
     103  (mk_signature [] (Some ? (ASTint I32 Signed)))
    104104  []
    105105  [id_main_tmp0; id_main_res]
Note: See TracChangeset for help on using the changeset viewer.