summaryrefslogtreecommitdiffstats
path: root/toplevel/printval.ml
AgeCommit message (Collapse)Author
2000-11-07Re-faire marcher la trace (PR#213)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-26Affichage des exceptions, suiteXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-25Meilleure impression des exceptionsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17Changement de la licenceXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-22Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon
print_value partage entre toplevel et debugger. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18Ctype.substitute renomme en Ctype.applyJérôme Vouillon
Prise en compte d'un echec possible de Ctype.apply git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-20Les parametres des constructeurs de types peuvent etresJérôme Vouillon
contraints. Par exemple : type 'a t = 'b * 'c constraint 'a = 'b -> 'c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-04Changement des boi^tes de pretty-printPierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-21Encore des modifications de Ctype.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23Ajout de Types en plus de Typedtree.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30Renommage en Objective CamlXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22Extension objets.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-03Env.find_ font raise Not_found au lieu d'une erreur si le path n'estXavier Leroy
pas trouve (p.ex. parce que un .cmi n'est pas disponible). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-26Possibilite de rendre manifestes des types variant ou recordXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09Ajout des notices de copyrightXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-28MAJ des tags des chaines et des flottants.Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02MAJ imprimeur de valeurs pour la nouvelle repr des listes.Xavier Leroy
Renommage codegen -> bytegen, linker -> bytelink. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@58 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-06-22Fermetures representees en un seul blocXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@49 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-05Printf.sprintf et String.concat dans stdlibXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02