diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-27 20:54:05 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-27 20:54:05 +0000 |
| commit | a0cfa218df0875fe88bc4d1da768f34d38c7a5bd (patch) | |
| tree | 1e810e144a0dbcc360fb0b4529e0260b72bcc1b7 /debugger/command_line_interpreter.ml | |
| parent | 139d1dc99d7546c54124bbf011b07d27c5c0cc9a (diff) | |
Ajout de pseudo-evenements en debut de fonction (on ne s'y arrete pas,
mais on peut y mettre des point d'arret). Permet de mettre un point
d'arret au debut de n'importe quelle fonction ("break function"). Ce
point d'arret est commun a tous les cas de la fonction
Evenement avant la garde bien place, et evenement apres la fleche
quand il y a une garde ([when < e -> < e'] au lieu de [< when e -> e']).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/command_line_interpreter.ml')
0 files changed, 0 insertions, 0 deletions