Changeset 879 for src/Cminor/test/sum.ma


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.ma

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