#6688: allow val declarations as structure items.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 7 insertions, 2 deletions

diff --git a/typing/env.ml b/typing/env.ml
index 2175ad337..997e6d75b 100644
--- a/typing/env.ml
+++ b/typing/env.ml
@@ -226,8 +226,13 @@ let empty = {
   functor_args = Ident.empty;
  }
 
-let in_signature env =
-  {env with flags = env.flags lor in_signature_flag}
+let in_signature b env =
+  let flags =
+    if b then env.flags lor in_signature_flag
+    else env.flags land (lnot in_signature_flag)
+  in
+  {env with flags}
+
 let implicit_coercion env =
   {env with flags = env.flags lor implicit_coercion_flag}