summaryrefslogtreecommitdiff
path: root/typing/typeclass.mli
Commit message (Expand)AuthorAgeFilesLines
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-1/+5
* free_vars: use informative typesGabriel Scherer2023-01-011-2/+1
* Better error messagesHyunggyu Jang2022-11-101-1/+2
* Remove hash type encodingHyunggyu Jang2022-11-091-2/+0
* Keep class signature row up-to-dateLeo White2021-07-151-1/+1
* Remove private_self and public_selfLeo White2021-07-131-0/+1
* Give more precise errors for virtual methodsLeo White2021-07-131-3/+7
* Change representation of class typesLeo White2021-07-131-2/+3
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-6/+6
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-6/+6
* Extend `open` to arbritrary module expressions in structures and toRunhang Li2018-11-261-0/+6
* a type for unification tracesFlorian Angeletti2018-10-171-6/+6
* remove unreachable error: Make_seltype_nongenoctachron2018-05-041-1/+0
* do not close objects which have been unified with an outer self typeThomas Refis2018-03-061-0/+1
* MPR#7237 change 12-tuples in typeclass into record.lijunsong2016-04-291-20/+30
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-221-1/+1
* #6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch2014-05-071-1/+1
* #6182: better error message for virtual objects and class types.Alain Frisch2013-09-171-1/+1
* Synchronize with trunk.Alain Frisch2013-07-161-0/+1
|\
| * #6035: reject multiple declarations of the same method or instance variable i...Alain Frisch2013-06-071-0/+1
* | Attributes and extension points in class_expr.Alain Frisch2013-04-101-0/+1
|/
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-2/+2
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-11/+42
| * first attempt: handles only unification errorsJacques Garrigue2012-01-221-2/+2
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-11/+42
|/
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Error narrowing for class type lookups.Alain Frisch2010-05-181-1/+0
* Cleanup.Alain Frisch2010-05-181-1/+0
* merge branches/overrideJacques Garrigue2010-04-081-0/+1
* add virtual instance variablesJacques Garrigue2006-04-051-2/+3
* 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
View Lorry Controller Status