Commit Graph

1706 Commits (f96ff2b7df3454367bf3a659cb97ddab667522f6)

Author SHA1 Message Date
Damien Doligez 39c596a3c2 version -1/8
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1574 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-26 17:18:28 +00:00
Damien Doligez 555d4cb09d overhead par defaut: 42
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-26 17:18:19 +00:00
Damien Doligez 8555ce8fe7 Changement de Push/Pop_roots en Begin/End_roots
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-26 17:16:31 +00:00
Damien Doligez ff13e60cd6 version -1/7
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:28:52 +00:00
Damien Doligez a95bcea2d1 test du gc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:28:43 +00:00
Damien Doligez 7942914a6e gc.mli: changement de space_overhead
arg.mli: bricoles dans la doc


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:28:30 +00:00
Damien Doligez 69d8a82e3f compact.c: options du runtime -> unsigned long
arrondi dans le calcul de pourcentage
           changement de max_overhead
config.h: changement de max_overhead
freelist.c: meilleure defragmentation
gc_ctrl.c: meilleure defragmentation; options du runtime -> unsigned long;
           arrondi dans les calculs de heap_increment
gc_ctrl.c: options du runtime -> unsigned long;
major_gc.c: changement de space_overhead
stacks.c: message pour afficher max_stack_size
startup.c: options du runtime -> unsigned long


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:28:15 +00:00
Damien Doligez 256b1a5959 options du runtime -> unsigned long
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:26:09 +00:00
Damien Doligez 7aafe66412 changement de space_overhead
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-21 15:25:57 +00:00
Damien Doligez e1e49d9429 gc_ctrl.c: gros bug dans Gc.stat
instrtrace.c: warning gcc sur printf
memory.h: assertion ajoutee


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1565 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-20 09:20:16 +00:00
Damien Doligez 7390a0221b assert & compactage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-20 09:18:15 +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
Xavier Leroy 9f30d68f00 Ccomp: ajout de Ccomp.system
Clflags: ajout de -verbose.
Config: version++


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:30:31 +00:00
Xavier Leroy d396209609 Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux
des interfaces utilisees pour compiler ce .cmi.
Retour en arriere sur le flag "ps_used" introduit par Jerome, car la
modif sur les CRCs coule definitivement les applets de MMM.
Predef: ajout de l'exception Stack_overflow.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:30:02 +00:00
Xavier Leroy 695da3ac4e Nouvelle gestion du CRC de l'interface
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:28:28 +00:00
Xavier Leroy 0cc2030d42 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:28:16 +00:00
Xavier Leroy 1f808f4492 pervasives: grouper les 3 arguments de Assert_failure, ca permet une
meilleure propagation des constantes.
pervasives.mli: documentation de Stack_overflow
printexc.ml: affichage de Stack_overflow.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:28:08 +00:00
Xavier Leroy 58d10b597a Sortir les warnings sur stderr si pas au toplevel.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:27:15 +00:00
Xavier Leroy 553ad40629 Remise a jour.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:27:04 +00:00
Xavier Leroy 5f13aa1f5e Grouper les arguments de Assert_failure.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:26:56 +00:00
Xavier Leroy 1737066bf3 Nouvelle gestion du CRC de l'interface.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:26:39 +00:00
Xavier Leroy a182630988 Nouvelle gestion du CRC de l'interface.
Ajout de l'option -verbose.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:26:34 +00:00
Xavier Leroy e204d29d8f fail.[ch], stacks.c: ajout de l'exception Stack_overflow
printexc.c: meilleur affichage
memory.c: parentheser comme le suggere gcc


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:26:08 +00:00
Xavier Leroy 3f1b15e439 bytelink, emitcode: nouvelle gestion des CRC des interfaces.
bytelink: Sys.command -> Ccomp.command
translcore: expanser les abreviations dans has_base_type


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:25:14 +00:00
Xavier Leroy fd5ac6e78e compilenv: changement gestion du CRC de l'interface
asmlink, proc*: Sys.command -> Ccomp.command


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1550 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:22:08 +00:00
Pierre Weis 0f1667cda4 Ajout d'un formatteur sur stderr. Revu la doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 10:41:17 +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
Xavier Leroy 7db3802115 Pour compatibilite avec le compacteur: toujours passer par le buffer
pour les ecritures.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-14 12:01:00 +00:00
Xavier Leroy 278de83311 Mise a jour et test sous Posix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-14 09:43:45 +00:00
Jérôme Vouillon c93cfafb47 Bug avec "#print_length 0;;"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-14 08:37:46 +00:00
Damien Doligez 4e310fc543 Ajout assert
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:28:25 +00:00
Damien Doligez 647dbb0aa4 rien
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:28:15 +00:00
Damien Doligez 81712f86b8 pervasives, printexc: Ajout assert
format: changement de l'ordre des declarations


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:27:27 +00:00
Xavier Leroy d75dd36508 Pour adaptation au compacteur: les I/O passent par un buffer
supplementaire hors du tas; suppression de unix_freeze_buffer


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1541 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 15:46:49 +00:00
Damien Doligez 31b160fdfa numero de version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:45:50 +00:00
Damien Doligez 98b6d9e18f compactage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:45:38 +00:00
Damien Doligez 2d7df3dd1c Encore un detail sur le ;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:45:28 +00:00
Damien Doligez 245b5f6a03 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:44:53 +00:00
Damien Doligez aa423e3e7e Les lexers peuvent lexer tous les caracteres.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:42:02 +00:00
Xavier Leroy b1b66f3278 typeclass: manque un () apres ;
primitive, typedecl: verifier que l'arite d'une primitive est > 0.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:07:00 +00:00
Xavier Leroy 5334997d00 Dans Thread.kill, tester si thread deja kille.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:06:17 +00:00
Xavier Leroy f52ee478ba instruct.h: suppression d'un #define inutile
io.[ch]: allouer le buffer d'I/O par malloc, histoire d'etre
compatible avec le compacteur (qui bouge les blocs pendant les appels
systeme).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:05:44 +00:00
Xavier Leroy 55c3fbdf7d Pour l'Alpha, 1 -> 1L dans les masques.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:03:16 +00:00
Xavier Leroy 8f7049a7f4 Makefile.nt: manque qques %%
configure: bug pour nextstep


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:02:58 +00:00
Damien Doligez 6a87510d7a Le probleme du point-virgule est enfin resolu.
Il n'y a plus de probleme avec l'appel terminal.
54 conflits shift-reduce ont disparu dans l'operation.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 15:10:03 +00:00
Jérôme Vouillon 3e74d64630 Bug: [type t = int = A] etait accepte...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 11:30:03 +00:00
Jérôme Vouillon 102a6bbccc Occur-check plus strict ('a list as 'a ne passe plus).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 11:15:51 +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
Jérôme Vouillon 4e9a819a22 Les objets peuvent etre compares avec les fonctions generiques de
comparaisons, et etre appliques a la primitive de hachage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-11 22:44:09 +00:00
Jérôme Vouillon 92cf2097e3 Tag specifique aux objets.
Les objets peuvent etre compares avec les fonctions generiques de
comparaisons, et etre appliques a la primitive de hachage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-11 22:42:38 +00:00