Commit Graph

5849 Commits (237006931a8e0e1aa292b93c14a1ab60d4138d53)

Author SHA1 Message Date
Xavier Leroy 237006931a Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:19:15 +00:00
Damien Doligez 960111fea4 unused variables en mode debug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-09 12:50:56 +00:00
Damien Doligez a4111b65e5 PR#2799
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-24 11:19:05 +00:00
Damien Doligez adf48882c9 changement du numero de version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-22 11:23:38 +00:00
Xavier Leroy 416684a960 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-21 08:44:27 +00:00
Xavier Leroy dcf879e3e9 Egalite entre structures cycliques (PR#2792)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-21 08:39:32 +00:00
Xavier Leroy e5ff19843c Entree intfinfo obsolete (PR#2601)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-20 15:26:06 +00:00
Xavier Leroy ab4160d21b Typos
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 17:39:35 +00:00
Xavier Leroy 63b506d2cd Suppression portage ocamlopt pour Power/AIX
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 16:17:31 +00:00
Xavier Leroy 9de985cc70 Unused variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 16:02:07 +00:00
Xavier Leroy 31577069f8 MAJ suite changement representation dir_handle (PR#2732)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 15:38:31 +00:00
Xavier Leroy 62b72b61fb Mettre 'close_on_exec' sur les descripteurs manipules via des in/out_channel, par coherence avec ce que font les fonctions de Pervasives. Ceci corrige le PR#2715
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 15:33:53 +00:00
Damien Doligez 40973975c0 precisions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-17 17:20:19 +00:00
Xavier Leroy 17cd0460c0 Merge de OCamlWinPlus (Christopher Watford)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-17 07:48:05 +00:00
Xavier Leroy 8e391de7cf Merge de OCamlWinPlus (Christopher Watford)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-17 07:33:45 +00:00
Damien Doligez fae0bc9d9b PR#1938
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 16:58:46 +00:00
Damien Doligez 477942df0e PR#1928
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 15:41:59 +00:00
Damien Doligez 9722599952 PR#2727
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 11:31:20 +00:00
Damien Doligez c293d70b5c ajout de la primitive caml_final_release
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 11:27:19 +00:00
Pierre Weis e0122726af Implementation of an extension of record typing: the first path
annotated label in a record implies the implicit path annotations of
the other labels. This way, a single annotation allows the
simultaneous annotation of the whole set of labels. This is a
conservative extension, since all the labels of a record must already
belong to the same module. Hence, any program that was typable before,
had this property and is thus still typable in the new scheme.

This new treatment provides a simple way to desambiguate labels in
mass, just adding a module path annotation on one of the field labels;
this slight improvement of record typing thus avoids the burden of
repeating Module.label for each label of the record.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 21:29:05 +00:00
Pierre Weis fcb86d407d Adding an explicit test case for 3 characters long ranges.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:46:01 +00:00
Pierre Weis ad3f855077 Uniform treatment of errors in constant format strings typing.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:38:15 +00:00
Pierre Weis ae6c474d49 Documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:20:16 +00:00
Damien Doligez 68a411d870 ajout reglage de vitesse du GC pour mlgmp
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 15:17:43 +00:00
Damien Doligez 79920fe227 suppression des remarques temporaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 14:28:30 +00:00
Damien Doligez cd64d89caf finalisation dans l'ordre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 13:27:42 +00:00
Xavier Leroy 999ba4d805 COMPFLAGS et OPTCOMPFLAGS comme dans Makefile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 12:23:40 +00:00
Xavier Leroy ba00a93df8 L'option -g avait disparu
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 12:23:21 +00:00
Xavier Leroy c3fff4348d Erreur dans tree_of_exception, cas untyped (PR#2652)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 16:23:35 +00:00
Xavier Leroy 6f34fbb120 Revu chop_extension_if_any
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:48:25 +00:00
Xavier Leroy b944b4dec0 Generalisation option -o
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:48:01 +00:00
Xavier Leroy fc5f00835c Nettoyage des Makefiles, notamment la gestion des options de compilation specifiques a chaque fichier
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:47:32 +00:00
Xavier Leroy 3dce37c196 Generalisation de l'option -o
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:41 +00:00
Xavier Leroy 2955927a88 Ajout d'une interface pour Lexer, sinon les dependances sont incorrectes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:11 +00:00
Xavier Leroy 1882ecd18f ARCH_ALIGN_DOUBLE incorrect sur UltraSparc en mode 64 bits (PR#2572)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 14:50:52 +00:00
Xavier Leroy c8bd730465 Quoter les arguments pour create_process (PR#2512)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 12:47:36 +00:00
Xavier Leroy fc4d722c88 Documentation de lockf (PR#2487)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 12:33:41 +00:00
Xavier Leroy dbc670d5f0 L'argument de isdigit, etc, doit etre unsigned (PR#2514)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 11:59:11 +00:00
Xavier Leroy c270bbea92 Je prefere sans chaines d'identification. Merci.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 10:40:52 +00:00
Xavier Leroy adb2b0dbed MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 10:37:54 +00:00
Xavier Leroy d3e86fdfcc Ne pas forcer de registres si on utilise le compilateur Intel icc (PR#2586)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 09:16:17 +00:00
Xavier Leroy 762a006652 Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
Jacques Garrigue 8cf488c3d4 vi keys
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 03:20:00 +00:00
Damien Doligez 97ed033e88 PR#2297, suite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:45:46 +00:00
Damien Doligez b2f3d350af erreur de grammaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:44:03 +00:00
Damien Doligez cb9a7f8532 missing include
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:16:14 +00:00
Xavier Leroy ad25068485 Lorsque le sous-typage se traduit par prendre un prefixe strict du bloc representant une structure, faire la copie du bloc au lieu de conserver le bloc d'origine. L'ancienne strategie casse la compilation de 'module rec' (PR#2639)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 16:09:48 +00:00
Jacques Garrigue 67f28f0630 use arrows too
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 15:47:08 +00:00
Maxence Guesdon ec61ad53b1 maj
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 14:32:17 +00:00
Maxence Guesdon 82a8b99e39 OK - latex: style latex pour indenter dans les module kind et les class kind
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 14:25:50 +00:00