summaryrefslogtreecommitdiffstats
path: root/typing/typedecl.ml
AgeCommit message (Expand)Author
2001-09-28correction du PR#547: un Not_found produit par find_type s'echappeJacques Garrigue
2001-04-19enforce uniqueness of typing in label modeJacques Garrigue
2001-03-03ajout d'un champ filtrage a ReitherJacques Garrigue
2001-01-09Bug de performance rapporte' par XavierJacques Garrigue
2000-09-07change variance syntaxJacques Garrigue
2000-09-06ajout des variancesJacques Garrigue
2000-08-04autorise l'application d'une contrainte a un type en cours de definitionJacques Garrigue
2000-06-05Erreur si primitive a > 5 arguments sans seconde fonction CXavier Leroy
2000-05-25check recursive use of parameters in type abbreviationsJacques Garrigue
2000-05-24already found a bug...Jacques Garrigue
2000-05-243.00+5: delay constraint checking in type declarationsJacques Garrigue
2000-05-22On peut mettre autant de constructeurs constants que l'on veut, seul le nombr...Xavier Leroy
2000-03-21Revu la gestion des records de flottantsXavier Leroy
2000-03-12Ajout du renommage d'exceptionsXavier Leroy
2000-03-06Revu les impressions du compilateurPierre Weis
1999-11-17Changement de la licenceXavier Leroy
1999-11-08Corrections de bugsJérôme Vouillon
1999-11-08Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy
1998-08-15Bug d'affichage des erreurs d'unificationJérôme Vouillon
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
1998-02-26Ajout de let module = <modulexpr> in <expr>Xavier Leroy
1997-06-29expand_abbrev n'est plus exporte par Ctype.Jérôme Vouillon
1997-05-13typeclass: manque un () apres ;Xavier Leroy
1997-05-12Bug: [type t = int = A] etait accepte...Jérôme Vouillon
1997-05-11Un commentaire modifie'.Jérôme Vouillon
1997-04-24Recursions non "regulieres" (genre type 'a t = A of 'a * float t) deJérôme Vouillon
1997-03-24Suppression d'un commentaire pas a` jourJérôme Vouillon
1997-03-07Les contraintes doivent etre de la forme 'a = t ou 'a estJérôme Vouillon
1997-02-20Les parametres des constructeurs de types peuvent etresJérôme Vouillon
1996-11-13Dans les declarations de la formeXavier Leroy
1996-09-24Gestion des niveaux de variables revue dans les declarations de types.Xavier Leroy
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-05-26Amelioration de quelques messages d'erreur.Jérôme Vouillon
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1995-12-22Remise a zero des niveaux de variables au debut de chaque definition.Xavier Leroy
1995-11-03Env.find_ font raise Not_found au lieu d'une erreur si le path n'estXavier Leroy
1995-10-19Detection des abbrev recursives corrigee (algorithme dit "du rho").Xavier Leroy
1995-10-03Cas particulier pour "type t = t"Xavier Leroy
1995-09-28Contraintes "with" revues.Xavier Leroy
1995-09-26Possibilite de rendre manifestes des types variant ou recordXavier Leroy
1995-08-28Verification de l'unicite des noms dans les structures.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-07-27Isolement des descriptions de primitives dans le module Primitive.Xavier Leroy
1995-07-25Changement representation des primitives.Xavier Leroy
1995-05-30Remplacement de Cset par SetXavier Leroy
1995-05-22Detection des types sommes avec trop de constructeurs.Xavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 15:20:02 +0000