skopy/lib/include/exec.h

26 lines
495 B
C

#ifndef SK_EXEC_H
#define SK_EXEC_H
#include "commons.h"
#include "state.h"
#include "prog.h"
struct env;
struct exec
{
size_t pc;
};
void exec_init(struct exec* self);
void exec_free(struct exec* self);
void exec_execute(struct exec* self,
struct state* state,
struct sym* sym,
struct prog* prog);
void exec_capture_env(struct exec* self,
struct state* state,
struct fun* fun);
#endif