type-checker finished?