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;
        }