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/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    ]
Note: See TracChangeset for help on using the changeset viewer.