summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Ccomp: ajout de Ccomp.systemXavier Leroy1997-05-154-10/+20
| | | | | | | | Clflags: ajout de -verbose. Config: version++ git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceuxXavier Leroy1997-05-153-82/+88
| | | | | | | | | | 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
* Nouvelle gestion du CRC de l'interfaceXavier Leroy1997-05-151-2/+0
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* MAJXavier Leroy1997-05-151-10/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1559 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* pervasives: grouper les 3 arguments de Assert_failure, ca permet uneXavier Leroy1997-05-153-3/+9
| | | | | | | | | 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
* Sortir les warnings sur stderr si pas au toplevel.Xavier Leroy1997-05-151-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1557 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Remise a jour.Xavier Leroy1997-05-151-4/+5
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Grouper les arguments de Assert_failure.Xavier Leroy1997-05-152-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouvelle gestion du CRC de l'interface.Xavier Leroy1997-05-151-8/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouvelle gestion du CRC de l'interface.Xavier Leroy1997-05-154-14/+16
| | | | | | | Ajout de l'option -verbose. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* fail.[ch], stacks.c: ajout de l'exception Stack_overflowXavier Leroy1997-05-155-24/+74
| | | | | | | | 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
* bytelink, emitcode: nouvelle gestion des CRC des interfaces.Xavier Leroy1997-05-154-44/+35
| | | | | | | | 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
* compilenv: changement gestion du CRC de l'interfaceXavier Leroy1997-05-1511-28/+26
| | | | | | | asmlink, proc*: Sys.command -> Ccomp.command git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1550 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout d'un formatteur sur stderr. Revu la doc.Pierre Weis1997-05-152-44/+66
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Message d'erreur clair si primitive C non disponible.Jérôme Vouillon1997-05-143-7/+18
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pour compatibilite avec le compacteur: toujours passer par le bufferXavier Leroy1997-05-141-6/+1
| | | | | | | pour les ecritures. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Mise a jour et test sous PosixXavier Leroy1997-05-143-16/+134
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Bug avec "#print_length 0;;"Jérôme Vouillon1997-05-141-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout assertDamien Doligez1997-05-137-60/+60
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1544 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* rienDamien Doligez1997-05-131-2/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* pervasives, printexc: Ajout assertDamien Doligez1997-05-134-52/+66
| | | | | | | format: changement de l'ordre des declarations git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pour adaptation au compacteur: les I/O passent par un bufferXavier Leroy1997-05-1310-41/+97
| | | | | | | 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
* numero de versionDamien Doligez1997-05-131-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* compactageDamien Doligez1997-05-1333-136/+824
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Encore un detail sur le ;Damien Doligez1997-05-132-20/+15
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* MAJDamien Doligez1997-05-131-0/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1537 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Les lexers peuvent lexer tous les caracteres.Damien Doligez1997-05-132-17/+22
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* typeclass: manque un () apres ;Xavier Leroy1997-05-135-18/+29
| | | | | | | 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
* Dans Thread.kill, tester si thread deja kille.Xavier Leroy1997-05-131-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* instruct.h: suppression d'un #define inutileXavier Leroy1997-05-133-6/+17
| | | | | | | | | 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
* Pour l'Alpha, 1 -> 1L dans les masques.Xavier Leroy1997-05-131-3/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Makefile.nt: manque qques %%Xavier Leroy1997-05-132-2/+2
| | | | | | | configure: bug pour nextstep git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Le probleme du point-virgule est enfin resolu.Damien Doligez1997-05-121-41/+45
| | | | | | | | 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
* Bug: [type t = int = A] etait accepte...Jérôme Vouillon1997-05-121-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Occur-check plus strict ('a list as 'a ne passe plus).Jérôme Vouillon1997-05-121-7/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* La commande load_printer essaie de charger recursivement tous lesJérôme Vouillon1997-05-121-5/+23
| | | | | | | modules dont depend le module implementant le printer. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Les objets peuvent etre compares avec les fonctions generiques deJérôme Vouillon1997-05-111-2/+1
| | | | | | | 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
* Tag specifique aux objets.Jérôme Vouillon1997-05-115-10/+41
| | | | | | | | 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
* Variable permettant de changer facilement l'indice du premier "bucket".Jérôme Vouillon1997-05-111-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Methodes privees.Jérôme Vouillon1997-05-1124-342/+625
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Methodes privees.Jérôme Vouillon1997-05-112-78/+181
| | | | | | | Bug de l'occur check (boucle...). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Un commentaire modifie'.Jérôme Vouillon1997-05-111-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de la fonction [map].Jérôme Vouillon1997-05-102-0/+11
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout de la fonction [subset].Jérôme Vouillon1997-05-102-0/+19
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* renommage command_line_interpreter -> command_lineDamien Doligez1997-05-085-12/+12
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Bug de la command "start" du debuggerJérôme Vouillon1997-05-072-14/+14
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* NettoyageDamien Doligez1997-05-037-35/+35
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Support pour le threaded code sur processeurs 64 bits lorsqu'on ne peut pas ↵Xavier Leroy1997-04-285-10/+38
| | | | | | garantir que le code de l'interprete est dans les 4 premiers gigas git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1515 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Peut-etre cette foisFrancois Rouaix1997-04-251-9/+9
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Oups. Maintenant c'est parfait (dixit Planar)Francois Rouaix1997-04-241-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02