Print also warnings produced by the type checker.