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

    r816 r879  
    77
    88definition id_get := ident_of_nat 99.
    9 definition f_get := External internal_function (mk_external_function id_get (mk_signature [] (Some ? ASTint))).
     9definition f_get := External internal_function (mk_external_function id_get (mk_signature [] (Some ? (ASTint I32 Signed)))).
    1010
    1111
     
    1414definition id_main_x1 := ident_of_nat 2.
    1515definition f_main := Internal ? (mk_internal_function
    16   (mk_signature [] (Some ? ASTint))
     16  (mk_signature [] (Some ? (ASTint I32 Signed)))
    1717  []
    1818  [id_main_i; id_main_x1]
Note: See TracChangeset for help on using the changeset viewer.