Commit Graph

4982 Commits (0483c6ac9208c07c5fd24a587d00066d1523b26f)

Author SHA1 Message Date
Damien Doligez c142378149 blindage du blindage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26 17:14:01 +00:00
Xavier Leroy 248f7efac8 Produire un evenement apres les primitives qui sont transformees en appels de fonctions C et qui peuvent lever une exception, comme string_get (PR#654)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26 10:48:13 +00:00
Xavier Leroy 1ca0e80c73 Ameliore backtrace dans le cas ou l'exception est levee par une primitive C (PR#654)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26 10:47:21 +00:00
Xavier Leroy 6dfe97c192 Correction bug input_value/output_value sur des blocs de plus de 4 mega-mots (PR#784). La limite globale a 4Go reste pour le moment.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-25 14:40:32 +00:00
Xavier Leroy 7624b292ef Suite PR#1466: revision modification de young_limit dans le cas de l'Alpha
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-25 12:50:20 +00:00
Xavier Leroy 9178881f44 Introduction et utilisation de Cglobal_symbol pour declarer explicitement les symboles de donnees qui doivent etre globaux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-24 15:55:26 +00:00
Xavier Leroy 08fc4a377c Faire attention a ce que la ligne de commande d'objcopy ne soit pas trop longue (PR#1478)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-24 15:54:50 +00:00
Xavier Leroy 9fb2678d21 Faire marcher Dynlink avec les .cmo produits par ocamlc -pack (PR#1433)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-24 14:44:36 +00:00
Maxence Guesdon 3e6389853c ajout syntaxe {!module:T} ... pour les cross ref spécifiques a un élement
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 15:59:55 +00:00
Xavier Leroy 096504a486 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 15:10:57 +00:00
Xavier Leroy 04fdddd188 Rectif PERVASIVES
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 15:10:40 +00:00
Xavier Leroy e80f744949 Revu les conventions de l'instruction imul (PR#1474)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 15:09:18 +00:00
Maxence Guesdon 1289652d21 encodage des caracteres speciaux dans les label et index por la sortie latex
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 14:57:49 +00:00
Maxence Guesdon f99cc67ea0 remplacement des underscore par make install installoptmake install installopt dans les labels latex, pour eviter les clashes de noms de labels entre par exemple toto et toto_
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 14:02:37 +00:00
Pierre Weis fda0343bbf Typing of kprintf turned to the more general type allowed by new
format strings type.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 10:13:11 +00:00
Pierre Weis d38749ab35 Comments not understood by the alpha native C compiler.
Please use /* */ instead of //.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 10:11:55 +00:00
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