检查器

    检查器是由程序初始化，下面是调用栈示意（绑定器一节也展示过）：

    与发射器的联系

    下面是该过程直到 checkSourceFile 的调用栈（checkSourceFile 是 createTypeChecker 的一个本地函数）：

    基本上是将所有的 global 符号合并到 let globals: SymbolTable = {} 符号表中（位于 createTypeChecker 中）。mergeSymbolTable 主要调用 函数。

    检查器错误报告