Ignore:
Timestamp:
Jan 19, 2011, 3:06:10 PM (8 years ago)
Author:
campbell
Message:

Correct checking of function pointers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.1/C-semantics/Cexec.ma

    r400 r457  
    555555    ! 〈vargs,tr3〉 ← exec_exprlist ge e m al;
    556556    ! fd ← find_funct ? ? ge vf;
    557     ! p ← err_to_io … (assert_type_eq (type_of_fundef fd) (typeof a));
     557    ! p ← err_to_io … (assert_type_eq (type_of_fundef fd) (fun_typeof a));
    558558(* requires associativity of IOMonad, so rearrange it below
    559559    ! k' ← match lhs with
Note: See TracChangeset for help on using the changeset viewer.