- resolve_gref g st lenv gref
-
-let get_pars f st pars node =
- let rec aux f cnt pars = function
- | None ->
- let f pars = f pars None in
- Cps.list_rev f pars
- | Some name as node ->
- let f cnt = function
- | Some (w, node) -> aux f cnt ((name, w) :: pars) node
- | None -> f pars (Some node)
- in
- find f cnt name
- in
- aux f st.cnt pars node
+ resolve_gref g st true lenv gref
+
+let get_pars f st = function
+ | None -> f [] None
+ | Some name as node ->
+ try let pars = H.find st.hcnt name in f pars None
+ with Not_found -> f [] (Some node)