public static plt_node symbol_node(plt_node n)
{
plt_symbol ret = new plt_symbol();
ret.point_to = n;
return(ret);
}
public static void set_all_symbol_env(plt_list e, plt_list env)
{
if (e == null)
{
return;
}
foreach (plt_node i in e._member)
{
plt_symbol if_symbol = i as plt_symbol;
if (if_symbol != null)
{
if (env.name_map.ContainsKey(if_symbol.name))
{
if_symbol.point_to = env.get_member(if_symbol.name);
}
continue;;
}
set_all_symbol_env(i as plt_list, env);
}
}