public JST.Identifier FreshenArgument(JST.Identifier id, TypeRef type) { var newid = NameSupply.GenSym(); var cell = new VariableCell(newid); Bind(id, cell.Read()); CompEnv.AddVariable(newid, ArgLocal.Local, true, true, type); return(newid); }
public Identifier Freshen(Identifier id) { var newid = NameSupply.GenSym(); Bind(id, newid.ToE()); return(newid); }