Original bug ID: 118
Reporter: administrator
Status: closed
Resolution: not a bug
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Fabrice
Version: 3.00
OS: Linux le plus souvent, mais parfois aussi un peu windows, quoi que je prefere quand meme linux, mais pas mac OS comme mon voisin me conseillait de marquer pour me faire bien voir.
Submission from: cremant.inria.fr (128.93.8.143)

Voici la correction du bug precedent:

typing/typedecl.ml line 144
let rec non_const cstrs n =
match cstrs with
| [] -> n
| (_, []) :: cstrs -> non_const cstrs n
| _ :: cstrs -> non_const cstrs (n+1)
in
if non_const cstrs 0 > Config.max_tag then
raise(Error(sdecl.ptype_loc, Too_many_constructors));

Fabrice Le Chieur