definition module errwin import StdString import IdeState updateErrorWindow :: ![String] !*GeneralSt -> *GeneralSt;