summaryrefslogtreecommitdiff
path: root/debugger/eval.ml
Commit message (Collapse)AuthorAgeFilesLines
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-201-8/+8
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Le debugger accede au type manifeste des abbreviations privees pour l'evaluationPierre Weis2007-11-281-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number ↵Pierre Weis2007-10-091-1/+1
| | | | | | is not yet changed. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu representation des declarations de type privateXavier Leroy2003-07-021-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Using %S format.Pierre Weis2002-06-271-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu la gestion des records de flottantsXavier Leroy2000-03-211-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu les impressions du compilateurPierre Weis2000-03-061-29/+33
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Révision de l'impression à l'aide de format: utilisation de printfPierre Weis2000-02-081-19/+14
| | | | | | | | pour condenser les programmes et aussi préparer une future (éventuelle) internationalisation d'Objective Caml. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ↵Xavier Leroy1999-11-081-1/+1
| | | | | | ou stderr suivant le contexte git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Lecture des variables d'instanceJérôme Vouillon1999-02-221-2/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Plus besoin d'ajouter 1 aux positions de ce_env.Xavier Leroy1998-08-031-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Optimisation de la verification des relations d'egalite, d'instanciationJérôme Vouillon1998-07-031-2/+2
| | | | | | | et de sous-typage entre types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Reconnaissance des variables d'instanceJérôme Vouillon1997-12-011-1/+10
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Modification des evenements.Jérôme Vouillon1997-06-161-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Prise en compte d'un echec possible de Ctype.applyJérôme Vouillon1997-04-011-2/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Commandes start et previous (symetriques de finish et next).Jérôme Vouillon1997-03-301-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Les commandes print et break fonctionnent maintenant aussi tout a laJérôme Vouillon1997-03-251-13/+18
| | | | | | | fin du programme. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Modification de Ctype.correct_levelsJérôme Vouillon1997-03-241-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon1997-03-221-15/+16
| | | | | | | print_value partage entre toplevel et debugger. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ctype.substitute renomme en Ctype.applyJérôme Vouillon1997-03-181-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ctype.correct_level devient Ctype.correct_levelsJérôme Vouillon1997-03-141-2/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* L'accumulateur n'est pas disponible lorsque l'on n'est pas en frame 0.Jérôme Vouillon1997-03-131-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revision affichage des types.Jérôme Vouillon1997-03-131-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Manipulation correcte des types.Jérôme Vouillon1997-03-131-9/+7
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon1997-03-071-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement des boi^tes hovPierre Weis1997-02-261-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Suite du portage (nombreuses modifs)Xavier Leroy1997-02-191-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Modification de Ctype.substitute (un argument en moins) etJérôme Vouillon1997-01-231-1/+1
| | | | | | | Types.Tconstr. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Suite du portage: impression des valeurs, etcXavier Leroy1997-01-051-15/+154
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Premier jet du portage OCamlXavier Leroy1996-11-291-0/+48
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status