summaryrefslogtreecommitdiff
path: root/typing/typeclass.mli
Commit message (Expand)AuthorAgeFilesLines
* exportJacques Garrigue2003-12-011-0/+2
* fast and compact classesJacques Garrigue2003-11-251-0/+1
* Merge branch with recursive modulesXavier Leroy2003-06-191-0/+6
* collapse conjunctive types in class definition parametersJacques Garrigue2002-10-081-0/+2
* allow coercions from self to own class (when safe!)Jacques Garrigue2001-11-051-0/+1
* Revu les impressions du compilateurPierre Weis2000-03-061-2/+3
* Merge olabl branchJacques Garrigue1999-11-301-0/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Bug...Jérôme Vouillon1998-08-171-1/+1
* Variables non generalisables dans les classesJérôme Vouillon1998-08-171-0/+1
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-27/+36
* Les parametres des constructeurs de types peuvent etresJérôme Vouillon1997-02-201-1/+1
* Type de methode maintenant optionnel dans interface de classe (permetJérôme Vouillon1996-10-261-0/+1
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Amelioration de quelques messages d'erreur.Jérôme Vouillon1996-05-261-1/+2
* Amelioration des messages d'erreurs d'unification (expansion desJérôme Vouillon1996-05-201-4/+4
* Renommage en Objective CamlXavier Leroy1996-04-301-1/+1
* Extension objets.Jérôme Vouillon1996-04-221-0/+53