Commit Graph

4966 Commits (9434a0e1561ed7f6a15a04b07fc94aa60ac057b2)

Author SHA1 Message Date
Jacques Garrigue dc6905ffab menage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:22:02 +00:00
Jacques Garrigue 56c42b04e5 mise a jour
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:21:36 +00:00
Jacques Garrigue dc4b8f041d desunifie en cas d'erreur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:00:57 +00:00
Jacques Garrigue 8297037442 typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:50:56 +00:00
Jacques Garrigue 65c80f8ae1 add unification backtracking
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:39:01 +00:00
Jacques Garrigue 9015adf858 rajoute toploop... a PERVASIVES
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:24:38 +00:00
Xavier Leroy b183534841 Refait marcher #trace sur les fonctions mutuellement recursives (PR#1346)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 13:49:44 +00:00
Xavier Leroy fca6240f90 Revu compilation des boucles for pour le cas ou la borne est max_int (pour une boucle 'to') ou min_int (pour une boucle 'downto') (PR#415)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:50:49 +00:00
Xavier Leroy 2fb5cf5111 Typos dans la verification de coherence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:41:51 +00:00
Xavier Leroy 2548992722 Remplacement de is_bound par source pour les besoins d'ocamlopt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:41:26 +00:00
Xavier Leroy cefbde77cf MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 09:37:39 +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
Xavier Leroy 7816096a39 Parser les quotes dans les @responsefiles (PR#1424). A tester.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5271 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:34:08 +00:00
Xavier Leroy e786e20b50 Blinder la sauvegarde d'ocamldep en ocamldep.bak
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:30:59 +00:00
Xavier Leroy 8858f731f9 Lorsque la queue des caractere est pleine, eliminer l'entree la plus ancienne au lieu de la plus recente
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:29:47 +00:00
Damien Doligez 14b7683557 line too long
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5268 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 16:36:52 +00:00
Pierre Weis d1cbfbd04f Modification de Scanf.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 16:36:44 +00:00
Damien Doligez c4411b3972 DLL sur MacOS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5266 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 16:36:39 +00:00
Damien Doligez ee99d6e158 ocamldep.opt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 16:16:07 +00:00
Damien Doligez b29e84f717 petite discrepance byte/word
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 16:15:19 +00:00
Pierre Weis 9c20fa10d8 Documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-15 10:57:14 +00:00
Damien Doligez d3de6bd186 changement des locations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-14 20:06:59 +00:00
Damien Doligez 921202e4ac DLL sur MacOS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5261 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-14 19:01:26 +00:00
Maxence Guesdon 110a6fa6e8 gestion correcte du %
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-14 14:41:32 +00:00
Damien Doligez 76dfd059b8 ajout DLL pour MacOS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5259 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-12 17:52:57 +00:00
Damien Doligez 51233b6e83 changement des locations, bug trouve par DDR
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-12 17:47:54 +00:00
Jacques Garrigue 1404188744 interactions bizarres de with
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-12 09:04:43 +00:00
Jacques Garrigue 6e1e330890 also tag driver
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-08 07:13:53 +00:00
Bruno Verlyck 21bc67fa0c Re-export de do_read pour Cash (que Damien le nettoyeur avait zappé)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 18:08:27 +00:00
Damien Doligez 2b633bf048 amelioration de let rec
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 17:57:23 +00:00
Didier Rémy fb251eceb3 added menu entries for caml-help and caml-complete
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 14:05:53 +00:00
Damien Doligez b3170e3d1f PR#1466 suite (et fin en ce qui concerne MacOS X)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 11:51:39 +00:00
Jacques Garrigue 6a56c7ed49 do not mark aliases as non-gen
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 08:45:57 +00:00
Maxence Guesdon 69df3caab5 generation interface des foncteurs, pas de generation des index vides; par Olivier Andrieu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 08:36:00 +00:00
Jacques Garrigue ac7aab43c7 do not depend on X11R6
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-06 10:10:20 +00:00
Didier Rémy 609017fd55 Several bug fixes and improvements in caml-help.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5246 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-06 07:59:25 +00:00
Damien Doligez 2570312432 PR#63
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 16:33:46 +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 131b2a637e changement des locations, suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 13:52:50 +00:00
Damien Doligez 91b46117b6 ajouts dans Arg
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 13:51:30 +00:00
Xavier Leroy 382a9cfe80 +
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 10:23:52 +00:00
Xavier Leroy 74dc6d1f14 +
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-05 09:25:19 +00:00
Xavier Leroy 7e5e058030 Revu compilation des 'raise' et des 'exit' en position d'argument de fonction ou de primitives (PR#1367). A tester soigneusement
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 16:25:09 +00:00
Damien Doligez 9754be9ef7 clarification des tailles bytes/words (PR#1459)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5238 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 13:58:10 +00:00
Damien Doligez 04a0377a58 petit changement de l'affichage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5237 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 13:57:21 +00:00
Damien Doligez aba0bd1fbd documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 12:40:51 +00:00
Damien Doligez 219d03a647 changement des locations, suite...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 12:39:57 +00:00
Damien Doligez f01fede228 PR#1465
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 10:49:35 +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