environment.hh

Go to the documentation of this file.

#ifndef ENVIRONMENT_HH
#define ENVIRONMENT_HH


#include "tlib.hh"

Tree pushValueDef(Tree id, Tree def, Tree lenv);

bool searchIdDef(Tree id, Tree& def, Tree lenv);

Tree pushMultiClosureDefs(Tree ldefs, Tree visited, Tree lenv);

Tree copyEnvReplaceDefs(Tree anEnv, Tree ldefs, Tree visited, Tree curEnv);

bool isEnvBarrier(Tree t);

Tree pushEnvBarrier(Tree lenv);


#endif // ENVIRONMENT_HH