let has_errors env =
        env.errors!=[]