Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove spurious code 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2010-04-30 01:56:21 +00:00
parent 30878cea6c
commit a51b04dec7
1 changed files with 1 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
typing/env.ml
View File

@ -739,32 +739,10 @@ let add_item comp env =
| Tsig_class(id, decl, _) -> add_class id decl env
| Tsig_cltype(id, decl, _) -> add_cltype id decl env
(* Remove a previous identifier with same name *)
let rec filter_value id = function
Env_empty -> Env_empty
| Env_value (sum, id', vd) ->
if Ident.equal id id' then sum
else Env_value(filter_value id sum, id', vd)
| Env_type (sum, id', td) -> Env_type (filter_value id sum, id', td)
| Env_exception (sum, id', ed) -> Env_exception (filter_value id sum, id', ed)
| Env_module (sum, id', mty) -> Env_module (filter_value id sum, id', mty)
| Env_modtype (sum, id', mty) -> Env_modtype (filter_value id sum, id', mty)
| Env_class (sum, id', cty) -> Env_class (filter_value id sum, id', cty)
| Env_cltype (sum, id', cty) -> Env_cltype (filter_value id sum, id', cty)
| Env_open (sum, path) -> Env_open (filter_value id sum, path)
let remove_value id env =
{ env with summary = filter_value id env.summary }
let add_item_for_signature comp env =
match comp with
Tsig_value(id, decl) -> add_value id decl (remove_value id env)
| _ -> add_item comp env
let rec add_signature sg env =
match sg with
[] -> env
| comp :: rem -> add_signature rem (add_item_for_signature comp env)
| comp :: rem -> add_signature rem (add_item comp env)
(* Open a signature path *)