Commit Graph

341 Commits (master)

Author SHA1 Message Date
Damien Doligez 2b1476fde7 PR#1479
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-17 13:55:37 +00:00
Xavier Leroy 3e4bf9252b Revu representation des declarations de type private
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 09:14:35 +00:00
Damien Doligez c1a2222e10 PR#1488
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-01-03 15:39:54 +00:00
Damien Doligez acb60d3c7e depend
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-12 18:56:59 +00:00
Xavier Leroy 75dd00ea5f L'appel a expunge n'est pas vraiment necessaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5273 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 09:23:31 +00:00
Xavier Leroy 5e152f7945 - Revu en profondeur la verification des CRC d'interfaces.
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
  l'executable bytecode, section CRCS.  Revu Dynlink pour utiliser ces
  CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
  MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:42:12 +00:00
Damien Doligez de30e68b5d changement des locations, suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 16:33:24 +00:00
Damien Doligez 123fb9f713 changement des locations, deuxieme tranche
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-02 22:36:46 +00:00
Damien Doligez e22208ccca fix PR#1202
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-29 17:53:24 +00:00
Xavier Leroy 548c072f5e Donner acces au module Unix (PR#1292)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-02 12:11:25 +00:00
Damien Doligez 8bd27a45b4 deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 15:48:45 +00:00
Xavier Leroy 38b49667b1 MAJ dependances
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 13:38:00 +00:00
Pierre Weis 9e61326a82 Using %S format.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-27 17:25:11 +00:00
Xavier Leroy c9cb93a847 MAJ liste stdlib_units
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4962 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-27 12:20:42 +00:00
Xavier Leroy bae0f5d56e Chercher les infos sur le module Foo dans les fichiers Foo.{cmi,cmx} et foo.{cmi,cmx} (PR#1177)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 07:35:38 +00:00
Xavier Leroy b012b7c4b6 Petit bug dans le trimming
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-07 11:26:32 +00:00
Xavier Leroy 2476f0af5e Expanser -I +dir (PR#1134)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-07 11:26:20 +00:00
Jacques Garrigue b148bb401e acceleration des Makefiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-27 14:45:33 +00:00
Damien Doligez 4e87d1239d deps + factorisation sprintf/kprintf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-13 17:34:58 +00:00
Damien Doligez 130e3415fd ajout option -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 15:17:11 +00:00
Daniel de Rauglaudre 1a2ab84a39 ajoute interface pour oprint
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 12:17:56 +00:00
Daniel de Rauglaudre 50161b7513 Regroupement des impressions "outcometree" dans un seul module oprint.ml.
Ajout de hooks de print dans toploop.mli.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 11:09:19 +00:00
Damien Doligez 42f72c7694 ajout -warn-error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 15:12:32 +00:00
Xavier Leroy 2331a7e038 Implementation incorrecte de Remote_value.size pour les tableaux de flottants (PR#739)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-04 14:35:53 +00:00
Xavier Leroy 7f60a0fa9e Suppression de Dllpath
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 10:02:42 +00:00
Pierre Weis 74472b9c2f Ajout de Dllpath
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-30 10:12:36 +00:00
Xavier Leroy ddd99c7e5d Chargement dynamique de primitives C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-28 14:47:48 +00:00
Damien Doligez 91e077432c deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3642 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 10:01:28 +00:00
Daniel de Rauglaudre 10078faaa7 -
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-02 08:51:55 +00:00
Xavier Leroy b708229015 Support user-defined printers taking a formatter as first argument
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-03 11:04:10 +00:00
Jacques Garrigue 02ca0f87f8 enforce uniqueness of typing in label mode
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-19 08:34:21 +00:00
Xavier Leroy a5fc84c2c5 MAJ listes modules stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-26 15:03:02 +00:00
Pierre Weis 2116da4220 Getting rid of obsolete boolean operators & and or
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
Xavier Leroy 6e389e924c EXE manquants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-10 12:31:22 +00:00
Xavier Leroy fd8846fecd Portage Cygwin
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 09:58:08 +00:00
Damien Doligez c3faabe473 Ne pas chercher le programme dans le path (PR#85)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-08 18:13:36 +00:00
Xavier Leroy 9bacf41bfa Eradication de Formatmsg
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-21 11:55:31 +00:00
Pierre Weis 9abfff060e Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-21 08:13:22 +00:00
Xavier Leroy 30e6eeed2c Suppression options -L inutiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3094 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-16 14:36:44 +00:00
Xavier Leroy db2d67d105 PR#65: down et autres commandes pouvaient mener a des numeros de frames negatifs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-06 09:09:10 +00:00
Xavier Leroy 87ece3497e Affichage des exceptions, suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-26 12:11:10 +00:00
Xavier Leroy 5c65f975b2 Meilleure impression des exceptions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-25 18:55:45 +00:00
Pierre Weis 6f4799b3e2 Utilisation de format.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-21 15:16:28 +00:00
Xavier Leroy 7dfe9784b7 Revu la gestion des records de flottants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-21 14:43:25 +00:00
Pierre Weis 179acdbff5 Oubli de l'intitialisation du debugger.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-21 10:42:53 +00:00
Xavier Leroy d84700a77c MAJ dependances
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-09 16:06:36 +00:00
Xavier Leroy c7b7c24381 Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires pour le link final
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-09 09:12:28 +00:00
Pierre Weis 242af96dba Revision des messages première étape.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-07 18:22:19 +00:00
Pierre Weis b96208b7a2 Revu les impressions du compilateur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 22:12:09 +00:00
Damien Doligez a56ae9a35f petit probleme de format d'impression
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 20:35:27 +00:00
Xavier Leroy ee2c3d5bc6 Nouveau format extensible d'executables bytecode
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-05 19:18:50 +00:00
Pierre Weis 39553e9972 Révision de l'impression à l'aide de format: utilisation de printf
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
2000-02-08 20:00:06 +00:00
Jacques Garrigue 296fc05470 Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
Damien Doligez 44c244d311 tabs -> spaces
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2638 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-29 19:04:56 +00:00
Xavier Leroy cc0f32b054 Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
Xavier Leroy a048d42b10 Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 17:06:33 +00:00
Jérôme Vouillon 15744e879f Mise à jour de la liste des modules exportés par le debugger
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-09-08 11:12:05 +00:00
Xavier Leroy e7a48b29ad Permettre _ en tete des idents
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-05-15 15:09:35 +00:00
Xavier Leroy ca030d44a0 Transmettre et afficher correctement les champs d'un Double_array
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-05-15 15:09:12 +00:00
Xavier Leroy 5038f3cdb6 Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-24 15:21:50 +00:00
Jérôme Vouillon f9360bb8b0 Lecture des variables d'instance
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-22 15:27:46 +00:00
Pierre Weis b83b278991 Warning du compilateur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-12-02 10:39:54 +00:00
Pierre Weis 208727b833 Éviction des alertes des séquences.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 14:51:27 +00:00
Pierre Weis 0b2e88f6ff Addition du warning de la séquence.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-05 08:01:06 +00:00
Xavier Leroy dcc7f0d600 Format plus efficace pour les infos de debug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-20 12:48:53 +00:00
Jérôme Vouillon cc886aa13d Une exception n'etait pas rattrapee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-16 05:33:09 +00:00
Xavier Leroy 33cf52bd2c Plus besoin d'ajouter 1 aux positions de ce_env.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-03 13:51:08 +00:00
Jérôme Vouillon d1561bbfe8 Optimisation de la verification des relations d'egalite, d'instanciation
et de sous-typage entre types.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-03 17:40:39 +00:00
Jérôme Vouillon 87b17301f4 Nouvelle syntaxe des classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24 19:22:26 +00:00
Damien Doligez af0698ee47 fix changement de format des fichiers byte-code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1961 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-05-23 14:10:02 +00:00
Jérôme Vouillon a92641327f Recherche dans le loadpath pour l'instruction source
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-12-09 14:04:19 +00:00
Jérôme Vouillon ec8fe24713 Reconnaissance des variables d'instance
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-12-01 17:48:50 +00:00
Jérôme Vouillon 576365579c \"private method\" -> \"method protected\"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-11-13 09:04:16 +00:00
Jérôme Vouillon 87221a8e29 Bug: exception non rattrapee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-21 11:08:04 +00:00
Xavier Leroy a95fa92066 Utiliser Arg.current
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-07-03 14:31:28 +00:00
Jérôme Vouillon d7383a861e Modification des evenements.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-16 13:34:34 +00:00
Jérôme Vouillon 93da06f5aa Erreur de syntaxe...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1610 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 20:53:10 +00:00
Jérôme Vouillon ea25d438a9 kill_programme doit supprimer tous les points d'arrets.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 16:29:10 +00:00
Jérôme Vouillon af2b65261c Quand on recharge la liste des evenements, effacer les evenements
charges precedemment...


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 12:28:12 +00:00
Jérôme Vouillon 677b6b5559 Quand un fichier est charge', afficher son chemin complet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 12:21:15 +00:00
Xavier Leroy 967558958c symbols: nouveau format d'executable.
main: parsing des arguments sur la ligne de commande revu.
command_line: meilleur message d'aide pour "break".


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-13 15:50:32 +00:00
Damien Doligez 03ec746bf1 deTABisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-19 15:42:21 +00:00
Jérôme Vouillon 6cfa61f417 Message d'erreur clair si primitive C non disponible.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-14 14:31:25 +00:00
Jérôme Vouillon 4084657e85 La commande load_printer essaie de charger recursivement tous les
modules dont depend le module implementant le printer.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 09:57:13 +00:00
Damien Doligez 85b978bce3 renommage command_line_interpreter -> command_line
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-08 18:00:18 +00:00
Jérôme Vouillon e710f38d9a Bug de la command "start" du debugger
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-07 12:33:25 +00:00
Jérôme Vouillon 42df8d76e8 Prise en compte d'un echec possible de Ctype.apply
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-01 20:53:38 +00:00
Jérôme Vouillon 3bddc6c32b Priorite plus faible pour la commande previous (conflit avec print).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-01 20:53:17 +00:00
Jérôme Vouillon 08afd50270 Commandes start et previous (symetriques de finish et next).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:53:35 +00:00
Jérôme Vouillon 9e0e09319a Les pseudo-evenements ne peuvent pas etre cherches par position dans
le source.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:43:47 +00:00
Jérôme Vouillon 89c20b2d86 Rattrapage des exceptions levees par get_buffer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:43:32 +00:00
Jérôme Vouillon 8a806a657c Il n'y a pas necessairement un vrai evenement a l'adresse de retour
d'une fonction.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:43:14 +00:00
Jérôme Vouillon 9936138a48 Commandes start et previous (symetriques de finish et next).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:43:01 +00:00
Jérôme Vouillon affd584b5d new_breakpoint s'occupe de placer le point d'arret a la position du
representant de l'evenement
Commandes start et previous (symetriques de finish et next).
Rattrapage des exceptions levees par get_buffer


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:42:38 +00:00
Jérôme Vouillon 733eae7dbc new_breakpoint s'occupe de placer le point d'arret a la position du
representant de l'evenement


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-30 19:42:12 +00:00
Jérôme Vouillon 0586deb701 Revision de stop_on_event (n'importe quel point d'arret peut etre en
dehors d'un evenement).
Bug de find_last_breakpoint.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-27 21:10:38 +00:00
Jérôme Vouillon e9887862d4 update_current_event fonctionne correctement meme ailleurs que sur un
evenement.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-27 21:09:07 +00:00
Jérôme Vouillon 7affc5b7ed Affichage des numeros des points d'arret dans l'ordre.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-27 21:08:52 +00:00
Jérôme Vouillon 96aebd897a Gestion de pseudo-evenements en debut de fonctions (on peut y mettre
des points d'arret, mais on ne s'y arrete pas).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-27 21:08:43 +00:00
Jérôme Vouillon b6d16fd9f8 Gestion des point d'arret en dehors d'evenements.
Bug : les points d'arrets n'etaient pas toujours tous places.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-27 21:08:13 +00:00
Jérôme Vouillon f3480edf9e Bugs de find_event et event_near_pos.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-25 18:15:58 +00:00
Jérôme Vouillon 470721243f Lors de la creation de l'environnement depuis un resume, message
d'erreur lorsqu'un module a ouvrir n'est pas trouve (plutot qu'erreur
fatale...)
La commande break est interpretee en fonction de la position
selectionnee plutot que la position courante.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-25 15:32:04 +00:00
Jérôme Vouillon 6fe8be487d Message d'erreur lorsqu'un module a ouvrir n'est pas trouve (plutot
qu'erreur fatale...)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-25 15:29:39 +00:00
Jérôme Vouillon d484278256 Les commandes print et break fonctionnent maintenant aussi tout a la
fin du programme.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-25 15:08:47 +00:00
Jérôme Vouillon fddab82840 La commande "next" ne marchait pas.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-25 10:15:29 +00:00
Jérôme Vouillon e1a68590a8 Pas besoin d'exporter print_value
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-24 20:13:48 +00:00
Jérôme Vouillon 0ddf4dab80 Modification de Ctype.correct_levels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-24 20:13:16 +00:00
Jérôme Vouillon 03f160c956 Ajout de btype.ml{,i} (operations de bases sur les types)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-24 20:11:22 +00:00
Jérôme Vouillon d1866d5b1f Remis la demande de confirmation avant sortie du debugger.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-23 15:24:24 +00:00
Jérôme Vouillon 6c0ee27812 Les exceptions non rattrapees n'etaient pas affichees...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-23 15:23:31 +00:00
Jérôme Vouillon f41d91f465 Remis le print_string..., et affichage de "done" pas seulement pour
debugger (!).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-23 15:22:30 +00:00
Jérôme Vouillon 564e7f88ff Boucle principale plus robuste.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-22 23:28:07 +00:00
Jérôme Vouillon 7d8e4df1c3 print_string change' en print_endline.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-22 23:27:22 +00:00
Jérôme Vouillon 85877a5fc1 `prerr_endline "EINTR"' qui trainait...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1441 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-22 23:16:27 +00:00
Jérôme Vouillon 0ea21dfb08 Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.
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-22 20:16:52 +00:00
Jérôme Vouillon 4b966034a5 Il faut pouvoir differencier un programme qui vient de se lancer d'un
programme qui a "forke'".


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-22 20:06:05 +00:00
Jérôme Vouillon e7b36124b5 debug_loading mis a false
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 13:34:08 +00:00
Jérôme Vouillon fe81f7ee2c Bug de l'instruction list
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 13:31:59 +00:00
Jérôme Vouillon 9f7f455c72 Restaurer l'evenement quand on supprime un point d'arret...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 13:31:13 +00:00
Xavier Leroy 3e72132f77 Probleme avec chop_extension
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 10:45:48 +00:00
Daniel de Rauglaudre 80c0157f24 -
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-21 07:10:20 +00:00
Jérôme Vouillon 5585ccb86b Ctype.substitute renomme en Ctype.apply
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:09:05 +00:00
Jérôme Vouillon 88a494b9e8 Ctype.correct_level devient Ctype.correct_levels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14 15:23:05 +00:00
Jérôme Vouillon b251ddc5ac Petits bugs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14 15:21:21 +00:00
Jérôme Vouillon 545bd9b3f4 L'accumulateur n'est pas disponible lorsque l'on n'est pas en frame 0.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 22:32:10 +00:00
Jérôme Vouillon f51edec166 Revision affichage des types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 22:25:22 +00:00
Jérôme Vouillon f12c2f2f3b Manipulation correcte des types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 21:20:13 +00:00
Jérôme Vouillon dc68648bf4 Remis le execute_without_breakpoints dans internal_go_to.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 20:45:57 +00:00
Jérôme Vouillon 094b45f8ed set_current_checkpoint doit attendre que le programme soit bien connecte'.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-13 20:40:05 +00:00
Jérôme Vouillon b54a009909 Ctype.expand_root renomme en Ctype.expand_head
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-07 22:43:27 +00:00
Pierre Weis a1d1dedc40 Changement des boi^tes hov
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-26 15:07:57 +00:00
Xavier Leroy 6288fc71e0 Corrections diverses
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-25 14:40:10 +00:00
Xavier Leroy 5fee61df8c Entree install
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-23 16:28:44 +00:00
Jérôme Vouillon a4eea9ac45 Les parametres des constructeurs de types peuvent etres
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-20 20:39:02 +00:00
Xavier Leroy e3d0b8b539 Suite du portage (nombreuses modifs)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-19 16:09:23 +00:00
Xavier Leroy c49cbe678a Ajout de load_printer, install_printer, remove_printer.
Program_loading: utiliser setsid() pour detacher le debuggee du terminal.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-14 16:30:00 +00:00
Jérôme Vouillon 137d8117c6 Modification de Ctype.substitute (un argument en moins) et
Types.Tconstr.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-23 12:46:03 +00:00
Xavier Leroy 783e5aa177 Suite du portage: impression des valeurs, etc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-05 14:04:06 +00:00
Xavier Leroy 314597ecd4 Fichiers oublies
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-01-04 16:57:00 +00:00
Xavier Leroy 9f2a2427f8 Oops, fichiers inutiles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-11-29 16:55:30 +00:00
Xavier Leroy db037c79de Premier jet du portage OCaml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-11-29 16:55:09 +00:00