summaryrefslogtreecommitdiffstats
path: root/typing/printtyp.mli
AgeCommit message (Expand)Author
2014-12-22exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue
2014-11-10PR#6648: show_module should indicate its elision (add Osig_ellipsis to outcom...Jacques Garrigue
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-03Factorize.Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-07Adapt printer.Alain Frisch
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-04-30Take ambiguity into account when using -short-paths option.Jacques Garrigue
2013-04-26Improve message for warning 40Jacques Garrigue
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-11-11merge patch new-error.diff by lpw25Jacques Garrigue
2012-10-15remove all $Id keywordsDamien Doligez
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-05-31keep the text width to 80 columnsJacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-03-23revert wrong commit of experimentsJacques Garrigue
2012-03-23Fix PR#5553: do not allow a type variable to have the same name as a local typeJacques Garrigue
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
2012-01-22shorten paths in signatures and toplevel outputJacques Garrigue
2012-01-22first attempt: handles only unification errorsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2006-04-16fusion des changements 3.09.1 -> 3.09.2Damien Doligez
2004-06-12Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy
2003-11-07tools for debugging the type checkerJacques Garrigue
2002-02-13Regroupement des impressions "outcometree" dans un seul module oprint.ml.Daniel de Rauglaudre
2002-01-20detabisationDamien Doligez
2001-10-31Ajout de reset_names dans l'interfaceMaxence Guesdon
2001-10-01Ajout d'une fonction type_cheme_max utilisée pour ocamldoc. Elle est suscept...Maxence Guesdon
2001-08-15-Daniel de Rauglaudre
2001-08-08corrige bug PR#449Jacques Garrigue
2001-08-07Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevelDaniel de Rauglaudre
2001-08-06Ajouté personalisation de l'affichage des items de signature dans le toplevelDaniel de Rauglaudre
2001-08-04Personalisation de l'affichage des valeurs et des types dans le toplevel.Daniel de Rauglaudre
2000-03-06Revu les impressions du compilateurPierre Weis
1999-11-30Merge olabl branchJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1998-11-05Ajout du warning de la séquence et pilotage des warnings par l'utilisateur.Pierre Weis
1998-08-15Bug d'affichage des erreurs d'unificationJérôme Vouillon
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
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-05-20Amelioration des messages d'erreurs d'unification (expansion desJérôme Vouillon
1996-05-16Printtyp: simplifications.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1995-08-09Ajout des notices de copyrightXavier 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-13 03:44:11 +0000