let
has_errors env =
env.errors!=[]