예제 #1
0
        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);
        }
예제 #2
0
        public Identifier Freshen(Identifier id)
        {
            var newid = NameSupply.GenSym();

            Bind(id, newid.ToE());
            return(newid);
        }