Changeset 2730 for extracted/cexec.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/cexec.ml

    r2717 r2730  
    796796           (let x = IOMonad.err_to_io (exec_exprlist ge0 e1 m al) in
    797797           Obj.magic x) (fun vargs tr3 ->
    798            Monad.m_bind0 (Monad.max_def IOMonad.iOMonad)
     798           Monad.m_bind2 (Monad.max_def IOMonad.iOMonad)
    799799             (Obj.magic
    800800               (IOMonad.opt_to_io (Errors.msg ErrorMessages.BadFunctionValue)
    801                  (Globalenvs.find_funct ge0 vf))) (fun fd ->
     801                 (Globalenvs.find_funct_id ge0 vf))) (fun fd id ->
    802802             Monad.m_bind0 (Monad.max_def IOMonad.iOMonad)
    803803               (Obj.magic
     
    809809                 Obj.magic
    810810                   (IO.ret { Types.fst = (Events.eapp tr2 tr3); Types.snd =
    811                      (Csem.Callstate (vf, fd, vargs, (Csem.Kcall (Types.None,
     811                     (Csem.Callstate (id, fd, vargs, (Csem.Kcall (Types.None,
    812812                     f, e1, k)), m)) })
    813813               | Types.Some lhs' ->
     
    818818                     (IO.ret { Types.fst =
    819819                       (Events.eapp tr1 (Events.eapp tr2 tr3)); Types.snd =
    820                        (Csem.Callstate (vf, fd, vargs, (Csem.Kcall
     820                       (Csem.Callstate (id, fd, vargs, (Csem.Kcall
    821821                       ((Types.Some { Types.fst = locofs; Types.snd =
    822822                       (Csyntax.typeof lhs') }), f, e1, k)), m)) })))))))
     
    11471147            (Errors.opt_to_res (Errors.msg ErrorMessages.MainMissing)
    11481148              (Globalenvs.find_funct_ptr ge0 b))) (fun f ->
    1149           Obj.magic (Errors.OK (Csem.Callstate ((Values.Vptr
    1150             { Pointers.pblock = b; Pointers.poff = Pointers.zero_offset }),
    1151             f, List.Nil, Csem.Kstop, m0)))))))
     1149          Obj.magic (Errors.OK (Csem.Callstate (p.AST.prog_main, f, List.Nil,
     1150            Csem.Kstop, m0)))))))
    11521151
    11531152(** val is_final0 : Csem.state0 -> Integers.int Types.option **)
Note: See TracChangeset for help on using the changeset viewer.