summaryrefslogtreecommitdiffstats
path: root/typing/typedecl.ml
AgeCommit message (Expand)Author
2010-09-22small cleanupJacques Le Normand
2010-09-21made type parameters ellidable in type declarationsJacques Le Normand
2010-09-19switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand
2010-09-13unbound parameter fixJacques Le Normand
2010-09-13first commitJacques Le Normand
2010-05-24error reportingJacques Garrigue
2010-05-21Keep location on value declarations.Alain Frisch
2010-05-21improve error messages for type declaration mismatchJacques Garrigue
2010-05-21Keep location on type declarations.Alain Frisch
2010-05-21PR#4478: better error messages for type definition mismatchesJacques Garrigue
2010-04-30make duplicate definitions a warning rather than an errorJacques Garrigue
2010-04-30check for duplicate labels and constructors across recursive type definitions...Jacques Garrigue
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
2009-10-26Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch
2009-07-20merge changes from ocaml3111rc0 to ocaml3111Damien Doligez
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
2008-08-07PR#4557: use Path.isfree rather than Path.head since the latter is ill-define...Xavier Leroy
2008-07-18allow aliases on private rowsJacques Garrigue
2007-11-28Le predicat is_float utilise expand_head_opt pour optimiser aussi les champs ...Pierre Weis
2007-10-18Ptyp_class a une rangeeJacques Garrigue
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis
2007-10-08fusion de la version 3.10.0Damien Doligez
2006-11-02name recursion for private typesJacques Garrigue
2005-08-16fix merge problems with 3.08.4 (PR#3758)Jacques Garrigue
2005-08-13fusion des modifs de 3.08.4Damien Doligez
2005-07-12fix potential bugJacques Garrigue
2005-07-11check variance for row-variable too!Jacques Garrigue
2005-03-23merge fixedtypes branchJacques Garrigue
2004-12-10make private types abstract for varianceJacques Garrigue
2004-12-09fix variance bugJacques Garrigue
2004-10-06add location info in Ptype_variant and Ptype_recordJacques Garrigue
2003-11-07fix PR#1918Jacques Garrigue
2003-07-03MAJ d'un commentaireXavier Leroy
2003-07-03reprend la definition de Xavier pour partager le code de check_recursionJacques Garrigue
2003-07-02Revu representation des declarations de type privateXavier Leroy
2003-07-01Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy
2003-06-30coherent handling of type declarationsJacques Garrigue
2003-06-28fix PR#1731Jacques Garrigue
2003-06-19Merge branch with recursive modulesXavier Leroy
2003-05-23restore variance for constructed typesJacques Garrigue
2003-05-21add weak contravariance for types (PR#1692)Jacques Garrigue
2003-05-12fix PR#1673Jacques Garrigue
2003-05-01Complete move from virtual to private for concrete types with privatePierre Weis
2003-03-26polymorphic method bugs, PR#1607Jacques Garrigue
2003-03-07fix PR#1559 and improve error messagesJacques Garrigue
2003-02-28Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan...Pierre Weis
2002-06-12remove coercion warning, add it only on errorJacques Garrigue
2002-04-18vive les methodes polymorphes!Jacques Garrigue
2002-01-20poteau sur max_tagDamien Doligez
2001-12-26PR#743Jacques Garrigue
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 13:00:53 +0000