type-inference.js
/** Add variable to current environment. Used when entering a new scope. */
Add variable to current environment. Used when entering a new scope.
Add variable to current environment . Used when entering a new scope .
function addVarToEnv(name) {
        if (typeof name !== "string")
            throw "Not a string: " + name;
        if (!env.has(name)) {
            env.put(name, new TypeNode);
        }
    }
function addVarToEnv ( name ) { if ( typeof name !== "string" ) throw "Not a string: " + name ; if ( ! env . has ( name ) ) { env . put ( name , new TypeNode ) ; } }
Add variable to current environment.
Add variable to current environment .