Commits

camlspotter  committed a9f47e7

open warning fixed

  • Participants
  • Parent commits 8ce529d

Comments (0)

Files changed (1)

File typing/env.ml

       in
       v :: loop data
 
-let lookup' proj1 proj2 lid env =
+let lookup_all proj1 proj2 lid env =
   match lid with
     Lident s -> 
       let all = find_all_overloaded (Ident.find_data_name s (proj1 env)) in
       raise Not_found
 
 let lookup_values =
-  lookup' (fun env -> env.values) (fun sc -> sc.comp_values)
+  lookup_all (fun env -> env.values) (fun sc -> sc.comp_values)
 let lookup_value =
   lookup (fun env -> env.values) (fun sc -> sc.comp_values)
 let lookup_annot id e =
             store_exception ~opened:root (Ident.hide id) p
                             (Subst.exception_declaration sub decl) env
         | Tsig_module(id, mty, _) ->
-            let root' = p in
             begin match !mtype_scrape env mty with
               | Tmty_signature sg' -> 
                   let env' = store_module ~opened:root (Ident.hide id) p (Subst.modtype sub mty) env in
-                  open_signature_overload Location.none root' sg' env'
+                  open_signature_overload Location.none root sg' env'
               | _ -> 
                   store_module ~opened:root (Ident.hide id) p (Subst.modtype sub mty) env
             end