/// <reference path="binder.ts"/>

module ts {

var nextSymbolId = 1;

/// If fullTypeCheck === false, the typechecker can take shortcuts and skip checks that only produce errors.

/// NOTE: checks that somehow affect decisions being made during typechecking should be executed in both cases.

export function createTypeChecker(program: Program, fullTypeCheck: boolean): TypeChecker {

var Symbol = objectAllocator.getSymbolConstructor();

var Type = objectAllocator.getTypeConstructor();

var Signature = objectAllocator.getSignatureConstructor();

var emptySymbols: SymbolTable = {};

var compilerOptions = program.getCompilerOptions();

var checker: TypeChecker = {

getProgram: () => program,

getTypeCount: () => typeCount,

isUndefinedSymbol: symbol => symbol === undefinedSymbol,

isArgumentsSymbol: symbol => symbol === argumentsSymbol,

getDiagnostics,

getGlobalDiagnostics,

getTypeOfSymbolAtLocation,

getDeclaredTypeOfSymbol,

getAliasedSymbol: resolveImport,

hasEarlyErrors,

isEmitBlocked,

};

var undefinedSymbol = createSymbol(SymbolFlags.Property | SymbolFlags.Transient, "undefined");

return getSortedDiagnostics();

}

function getGlobalDiagnostics(): Diagnostic[] {

return filter(getSortedDiagnostics(), d => !d.file);

}

};

}

function initializeTypeChecker() {

// Bind all source files and propagate errors

forEach(program.getSourceFiles(), file => {

module ts {

interface EmitTextWriter {