summaryrefslogtreecommitdiff
path: root/toplevel/genprintval.ml
Commit message (Expand)AuthorAgeFilesLines
* Keep type variable namesJacques Garrigue2011-09-221-3/+1
* merge branches/gadtsJacques Garrigue2011-07-291-3/+12
|\
| * clean upJacques Le Normand2010-11-101-13/+10
| * allow variance in GADTsJacques Garrigue2010-11-081-1/+1
| * fixed bug in genprintvalJacques Le Normand2010-11-011-2/+11
| * removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand2010-10-211-2/+0
| * fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand2010-10-191-1/+1
| * first commitJacques Le Normand2010-09-131-9/+14
* | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
|/
* Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch2009-10-261-0/+2
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis2007-10-091-2/+2
* print private variantsJacques Garrigue2005-06-131-1/+1
* Erreur dans tree_of_exception, cas untyped (PR#2652)Xavier Leroy2004-06-131-2/+2
* Revu representation des declarations de type privateXavier Leroy2003-07-021-6/+3
* Merge branch with recursive modulesXavier Leroy2003-06-191-1/+3
* Complete move from virtual to private for concrete types with privatePierre Weis2003-05-011-1/+1
* Ajout des litteraux de type int32, nativeint, int64Xavier Leroy2003-04-251-6/+3
* Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan...Pierre Weis2003-02-281-2/+6
* Afficher les int32, int64, nativeint avec Oval_stuff plutot que comme des str...Xavier Leroy2002-06-261-3/+6
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-0/+4
* Regroupement des impressions "outcometree" dans un seul module oprint.ml.Daniel de Rauglaudre2002-02-131-75/+0
* bug string_of_floatDamien Doligez2002-01-241-1/+1
* lazy a la TolmachDamien Doligez2002-01-201-0/+6
* Correction bug PR#531Daniel de Rauglaudre2001-09-151-1/+1
* Blinder l'affichage des tres longues chaines (PR#476)Xavier Leroy2001-08-081-1/+8
* -Daniel de Rauglaudre2001-08-071-7/+7
* Personalisation de l'affichage des valeurs et des types dans le toplevel.Daniel de Rauglaudre2001-08-041-12/+2
* -Daniel de Rauglaudre2001-08-021-180/+239
* Support user-defined printers taking a formatter as first argumentXavier Leroy2001-07-031-2/+3
* enforce uniqueness of typing in label modeJacques Garrigue2001-04-191-1/+1
* Imprimer les flottants avec plus de precision et en format %gXavier Leroy2001-02-051-2/+2
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-1/+1
* Affichage des exceptions, suiteXavier Leroy2000-03-261-1/+3
* Meilleure impression des exceptionsXavier Leroy2000-03-251-42/+72
* Revu la gestion des records de flottantsXavier Leroy2000-03-211-1/+1
* Impression des définitions de types.Pierre Weis2000-03-071-21/+19
* Revu les impressions du compilateurPierre Weis2000-03-061-162/+125
* Nouveau format extensible d'executables bytecodeXavier Leroy2000-03-051-1/+13
* detabisationDamien Doligez2000-01-071-25/+25
* Merge olabl branchJacques Garrigue1999-11-301-1/+26
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* Partial match avec joli messageLuc Maranget1999-10-291-18/+2
* Noms symboliques pour les tags speciauxXavier Leroy1998-10-011-33/+33
* Meilleure impression de Match_failure et Assert_failureXavier Leroy1997-12-091-5/+13
* Bug avec "#print_length 0;;"Jérôme Vouillon1997-05-141-1/+1
* Methodes privees.Jérôme Vouillon1997-05-111-1/+1
* Bug de Ctype.moregeneralJérôme Vouillon1997-04-011-1/+1
* Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon1997-03-221-0/+345
View Lorry Controller Status