let set_loop_info info env = match env with
    EnvTopLevel _ -> raise_compile_error ["Unexpected compilation error: attempted to set loop information in top level."]
  | EnvFrame (n,_,defs,parent) -> EnvFrame (n,info,defs,parent)