Changeset 725 for src/Clight/Cexec.ma


Ignore:
Timestamp:
Mar 30, 2011, 4:16:08 PM (9 years ago)
Author:
campbell
Message:

Do some light manual disambiguation to make Clight examples go through more
easily.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Cexec.ma

    r718 r725  
    636636| Callstate f0 vargs k m ⇒
    637637  match f0 with
    638   [ Internal f ⇒
     638  [ CL_Internal f ⇒
    639639    match exec_alloc_variables empty_env m ((fn_params f) @ (fn_vars f)) with [ pair e m1 ⇒
    640640      ! m2 ← exec_bind_parameters e m1 (fn_params f) vargs;
    641641      ret ? 〈E0, State f (fn_body f) k e m2〉
    642642    ]
    643   | External f argtys retty ⇒
     643  | CL_External f argtys retty ⇒
    644644      ! evargs ← check_eventval_list vargs (typlist_of_typelist argtys);
    645645      ! evres ← do_io f evargs (proj_sig_res (signature_of_type argtys retty));
Note: See TracChangeset for help on using the changeset viewer.