let remove_frame env = match env with EnvTopLevel _ -> raise_compile_error ["Unexpected compilation error: attempted to pop toplevel compilation scope."] | EnvFrame (n,_,_,parent) -> offset_locs (-n) parent