Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000118OCamlOCaml generalpublic2000-05-18 17:472002-08-25 14:08
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000118: PRIVATE: Re: Too Many Constructors
DescriptionFull_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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002113)
administrator (administrator)
2000-05-22 10:24

Redundant with PR#117

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker