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/null-op.ma

    r776 r879  
    1717definition C_cost1 := costlabel_of_nat 1.
    1818definition f_main := Internal ? (mk_internal_function
    19   (mk_signature [] (Some ? ASTint))
     19  (mk_signature [] (Some ? (ASTint I32 Signed)))
    2020  []
    2121  [id_main_tmp0; id_main_q; id_main_p; id_main_c]
Note: See TracChangeset for help on using the changeset viewer.