Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
7,826 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

70 Commits (0b002c286a2049833a22a8d3dc00be30ac596921)

Author SHA1 Message Date
Alain Frisch 3f23ef49c4 #5411: New #load_rec primitive for the toplevel (finds and loads .cmo files recursively). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-12-13 17:50:08 +00:00
Jacques Garrigue 6c78f42d36 merge branches/gadts-devel 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-11-24 09:02:48 +00:00
Damien Doligez 3b507dd1aa renaming of Objective Caml to OCaml and cleanup of copyright headers 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2011-07-27 14:17:02 +00:00
Damien Doligez 04b1656222 clean up spaces and tabs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2010-01-22 12:48:24 +00:00
Damien Doligez 1f95b17570 merge changes from 3.10.2merged to 3.11.0 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2008-12-03 18:09:09 +00:00
Xavier Leroy b0041ea963 Revised DLL loading: distinguish between loading for execution 
(ocamlrun, dynlink, toplevel) and loading for checking the existence
of symbols (ocamlc).  This is needed for Windows with manifests and
not a bad idea for other platforms.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2006-09-28 21:36:38 +00:00
Xavier Leroy 09921987cc Deplacement des infos de format des .cmo et .cma dans Cmo_format 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2006-05-11 15:50:53 +00:00
Jacques Garrigue 0edba97cf6 new warning for black holes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2004-11-29 02:27:25 +00:00
Xavier Leroy 63c1789b5e 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@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2004-07-13 12:25:21 +00:00
Xavier Leroy a8d073e85a Probleme dans #untrace_all en cas de fonction redefinie (PR#1936) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2004-05-09 09:01:00 +00:00
Damien Doligez 331b2d89c3 depollution suite (PR#1914, PR#1956) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2003-12-31 14:20:40 +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 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
Jacques Garrigue b8118bdb7b add #principal directive 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4940 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-06-19 06:11:21 +00:00
Daniel de Rauglaudre 75a9cfe35c La directive #trace ne marchait plus paskeu le test du tag closure était 
obsolète.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-02-09 06:44:14 +00:00
Jacques Garrigue 128824233b add object loading from command-line 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2002-02-08 02:56:04 +00:00
Xavier Leroy 343d49401a Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-10-30 09:32:32 +00:00
Xavier Leroy ddd99c7e5d Chargement dynamique de primitives C 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-08-28 14:47:48 +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
Jacques Garrigue 714bf2c3fa Tracage d'une fonction utilisee par le toplevel (PR#283) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2001-02-12 14:32:38 +00:00
Jacques Garrigue 447c79eade deplace expand_directory dans Misc, pour generaliser -I +package 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-12-28 05:02:43 +00:00
Xavier Leroy b0e043eb2d Re-faire marcher la trace (PR#213) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-11-07 13:18:20 +00:00
Damien Doligez b2fdec8e5c option -warn-error, directive #warn_error 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-08-23 17:13:09 +00:00
Xavier Leroy 1926b350c0 Envoyer les sorties du toplevel sur stdout, pas stderr 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3051 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-04-10 14:59:29 +00:00
Xavier Leroy 0f9683375a Revu la verification de coherence lors de #load (pour accepter le cas ou le .cmi ne peut etre trouve) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-27 14:10:46 +00:00
Xavier Leroy a734dd4b75 Adaptation de #load au nouveau format de .cma 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-27 11:42:54 +00:00
Xavier Leroy f5442aa165 Verification de coherence .cmo/.cmi dans #load 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-26 15:50:58 +00:00
Xavier Leroy 5c65f975b2 Meilleure impression des exceptions 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-25 18:55:45 +00:00
Damien Doligez 3f434abf94 re-renommange: "-label" -> "-labels" 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-24 19:31:25 +00:00
Damien Doligez df6ced1fc9 "modern" -> "label" suite (et fin ?) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 2000-03-20 21:00:11 +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
Jacques Garrigue ad6a333f08 add directives #modern and #warnings 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2667 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1999-12-03 10:26:08 +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 4508b80100 Éviction des alertes des séquences: ajout de fonctions rendant unit ou 
de prédicats dans le cas où l'on appelait une fonction pour savoir si
ça pouvait marcher en capturant une exception.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2172 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-11-12 14:53:46 +00:00
Xavier Leroy c07dfb6f0d MAJ de la trace vis-a-vis du nouveau format de fermetures 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2092 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-09-07 07:55:38 +00:00
Xavier Leroy 1c31feddb5 Ajout de .ocamlinit et des scripts 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-07-03 14:32:35 +00:00
Jérôme Vouillon 0ea21dfb08 Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger. 
print_value partage entre toplevel et debugger.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-22 20:16:52 +00:00
Jérôme Vouillon 89193a19bb Bug de #trace (affichage incorrect des arguments). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-20 11:12:42 +00:00
Daniel de Rauglaudre 7dace816ea Ajout lien vers Location.input_name 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-03 13:33:10 +00:00
Jérôme Vouillon 704b0ef280 init_def manquant... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-02 11:11:23 +00:00
Jérôme Vouillon d6188e0095 Correction d'un bug d'install_printer (type mal construit). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-01 13:23:13 +00:00
Xavier Leroy 15b7edd512 Ajout de Types en plus de Typedtree. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 11:32:19 +00:00
Xavier Leroy 1109a9dd32 Expanser les abreviations dans le type d'une fonction tracee (au cas 
ou le type contiendrait une abreviation pour un type fleche).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-10 12:44:14 +00:00
Daniel de Rauglaudre e18cd1e3c3 Ajout de print_warning dans topdirs. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-30 14:53:51 +00:00
Xavier Leroy 37aadf83cb Remplacement de Meta.execute_Bytecode par Meta.reify_bytecode. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-28 12:43:41 +00:00
Xavier Leroy 8b9c458635 On ne peut pas tracer des directives. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-22 16:21:53 +00:00