poteau sur max_tag

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

typing/typedecl.ml

@@ -108,7 +108,7 @@ let transl_declaration env (name, sdecl) id =
                 all_constrs := StringSet.add name !all_constrs)
               cstrs;
             if List.length (List.filter (fun (name, args) -> args <> []) cstrs)
-               > Config.max_tag then
+               > (Config.max_tag + 1) then
               raise(Error(sdecl.ptype_loc, Too_many_constructors));
             Type_variant(List.map
               (fun (name, args) ->
@@ -595,7 +595,7 @@ let report_error ppf = function
   | Too_many_constructors ->
       fprintf ppf "Too many non-constant constructors -- \
                    maximum is %i non-constant constructors"
-        Config.max_tag
+        (Config.max_tag + 1)
   | Duplicate_label s ->
       fprintf ppf "Two labels are named %s" s
   | Recursive_abbrev s ->

utils/config.mli

@@ -66,7 +66,7 @@ val ast_impl_magic_number: string
         (* Magic number for file holding an implementation syntax tree *)
 
 val max_tag: int
-        (* Biggest tag that can be stored in the header of a block. *)
+        (* Biggest tag that can be stored in the header of a regular block. *)
 val max_young_wosize: int
         (* Maximal size of arrays that are directly allocated in the
            minor heap *)