Changeset 879 for src/RTLabs


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

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

Location:
src/RTLabs
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/semantics.ma

    r816 r879  
    203203    | External fn ⇒
    204204        ! evargs ← check_eventval_list params (sig_args (ef_sig fn));
    205         ! evres ← do_io (ef_id fn) evargs (match (sig_res (ef_sig fn)) with [ None ⇒ ASTint | Some t ⇒ t ]);  (* XXX hack, should allow none *)
     205        ! evres ← do_io (ef_id fn) evargs (proj_sig_res (ef_sig fn));
    206206        ret ? 〈Eextcall (ef_id fn) evargs (mk_eventval ? evres), Returnstate (Some ? (mk_val ? evres) (*FIXME should allow None *)) dst fs m〉
    207207    ]
  • 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.