Damien Doligez
2b1476fde7
PR#1479
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-17 13:55:37 +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
b708229015
Support user-defined printers taking a formatter as first argument
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-03 11:04:10 +00:00
Jacques Garrigue
02ca0f87f8
enforce uniqueness of typing in label mode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-19 08:34:21 +00:00
Pierre Weis
242af96dba
Revision des messages première étape.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-07 18:22:19 +00:00
Pierre Weis
b96208b7a2
Revu les impressions du compilateur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 22:12:09 +00:00
Pierre Weis
39553e9972
Révision de l'impression à l'aide de format: utilisation de printf
...
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-08 20:00:06 +00:00
Jacques Garrigue
296fc05470
Merge olabl branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
Xavier Leroy
cc0f32b054
Changement de la licence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
Xavier Leroy
a048d42b10
Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 17:06:33 +00:00
Xavier Leroy
5038f3cdb6
Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-24 15:21:50 +00:00
Pierre Weis
208727b833
Éviction des alertes des séquences.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 14:51:27 +00:00
Jérôme Vouillon
677b6b5559
Quand un fichier est charge', afficher son chemin complet.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1604 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-15 12:21:15 +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
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
Pierre Weis
a1d1dedc40
Changement des boi^tes hov
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-26 15:07:57 +00:00
Xavier Leroy
e3d0b8b539
Suite du portage (nombreuses modifs)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-19 16:09:23 +00:00
Xavier Leroy
c49cbe678a
Ajout de load_printer, install_printer, remove_printer.
...
Program_loading: utiliser setsid() pour detacher le debuggee du terminal.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-14 16:30:00 +00:00