public void AddVar(string v, Syntax.Type t)
{
var tbl = tbls.Peek();
tbl.Item2.Add(v, t);
trueNames.Peek().Add(currentF + "_" + v, v);
}
public void AddMachVar(string m, string v, Syntax.Type t)
{
if (!machinesToVars.ContainsKey(m))
{
throw new Exception("No such machine as " + m);
}
machinesToVars[m].Add(v, t);
machTrueNames[m].Add(m + "_" + v, v);
}
