Changeset 879 for src/RTLabs/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/RTLabs/test/sum.ma

    r765 r879  
    4444
    4545  definition pre_main := mk_pre_internal_function
    46     (mk_signature [] (Some ? ASTint))
     46    (mk_signature [] (Some ? (ASTint I32 Signed)))
    4747    (Some ? 3)
    4848    []
Note: See TracChangeset for help on using the changeset viewer.