Changeset 879 for src/RTLabs/test


Ignore:
Timestamp:
Jun 3, 2011, 5:35:30 PM (8 years ago)
Author:
campbell
Message:

Refine "AST" types to include size/signedness information.

Location:
src/RTLabs/test
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/test/search.ma

    r816 r879  
    7272
    7373  definition pre_search := mk_pre_internal_function
    74     (mk_signature [ASTptr Any; ASTint; ASTint] (Some ? ASTint))
     74    (mk_signature [ASTptr Any; ASTint I8 Signed; ASTint I8 Signed] (Some ? (ASTint I8 Signed)))
    7575    (Some ? 8)
    7676    [7; 1; 2]
     
    185185
    186186  definition pre_main := mk_pre_internal_function
    187     (mk_signature [] (Some ? ASTint))
     187    (mk_signature [] (Some ? (ASTint I32 Signed)))
    188188    (Some ? 2)
    189189    []
  • 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.