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

Bug dans include <struct> lorsque <struct> contient des declarations external (PR#505,PR#506) 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 2001-09-10 15:11:14 +00:00
parent 606b96f984
commit 1fed429207
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typing/typemod.ml
View File

@ -263,11 +263,13 @@ let check_nongen_schemes env str =
(* Extract the list of "value" identifiers bound by a signature.
"Value" identifiers are identifiers for signature components that
correspond to a run-time value: values, exceptions, modules, classes *)
correspond to a run-time value: values, exceptions, modules, classes.
Note: manifest primitives do not correspond to a run-time value! *)
let rec bound_value_identifiers = function
[] -> []
| Tsig_value(id, decl) :: rem -> id :: bound_value_identifiers rem
| Tsig_value(id, {val_kind = Val_reg}) :: rem ->
id :: bound_value_identifiers rem
| Tsig_exception(id, decl) :: rem -> id :: bound_value_identifiers rem
| Tsig_module(id, mty) :: rem -> id :: bound_value_identifiers rem
| Tsig_class(id, decl) :: rem -> id :: bound_value_identifiers rem