问当类型记录没有问题时，Webstorm显示未解决的变量

EN

我使用的是WebStorm 7.0.2和TSC0.9.1.1。Webstorm以红色显示代码，并在工具提示中显示了一些错误，当我将鼠标移到下面的红色文本ISystem上时。

/// <reference path="launcher-system.ts" />
module Launcher {
  export class SystemStub implements Launcher.ISystem { // ISystem shows as red
  ....
  }
...
}

launcher-system.ts有以下内容：

module Launcher {
  export interface ISystem {
  ...
  }
}

但是，tsc没有输出错误。而且，我可以点击ISystem的红色文本，Webstorm会带我到另一个文件中定义Launcher.ISystem的地方。

工具提示显示了四个未解决的变量错误。

• 未解析变量ISystem
• 未解析变量ISystemm
• 未解析变量ISystemmm
• 未解析变量ISystemmmm

大量错误是由于我弄乱了，看看如果我试图实现一个我知道不存在的接口(例如，我确信ISystemmmm不是有效的)而故意导致错误会发生什么。

我不知道为什么Webstorm似乎保存了错误的历史。但虽然我知道拼写错误是有效的错误，但它们已经成为历史.为什么Webstorm还在展示这些？

而且，我如何修复一个错误消息的网络风暴，这不是一个有效的错误(例如ISystem)？