let add_error env codeloc message =
let (filename, line_number) = codeloc
in {
globals = env.globals;
num_globals = env.num_globals;
locals = env.locals;
num_locals = env.num_locals;
errors = ("At line "^(string_of_int line_number)^" in "^(Filename.basename filename)^": "^message):: env.errors;
sdepth = env.sdepth;
max_depth = env.max_depth;
warnings = env.warnings;
unique_id = env.unique_id;
names = env.names;
varprops = env.varprops;
imported = env.imported;
templates = env.templates;
constants = env.constants;
}