From 1fed429207491323431dd4e4eb9569a61407c563 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 10 Sep 2001 15:11:14 +0000 Subject: [PATCH] Bug dans include lorsque contient des declarations external (PR#505,PR#506) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- typing/typemod.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/typing/typemod.ml b/typing/typemod.ml index 4bc0fcd86..2c42633f3 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -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