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/sum-bad.ma

    r797 r879  
    1616definition C_cost1 := costlabel_of_nat 1.
    1717definition f_main := Internal ? (mk_internal_function
    18   (mk_signature [] (Some ? ASTint))
     18  (mk_signature [] (Some ? (ASTint I32 Signed)))
    1919  []
    2020  [id_main_tmp0; id_main_total(*; id_main_i*)]
Note: See TracChangeset for help on using the changeset viewer.