ocaml/stdlib
Jacques Garrigue 4011817915 Relax the value restriction
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-03 02:57:23 +00:00
..
.cvsignore configure: suppression "smart preprocessing" pour MacOS X 2002-01-18 15:13:26 +00:00
.depend PR#1249 2002-10-29 13:55:33 +00:00
Makefile coupure de lignes 2002-06-05 12:08:38 +00:00
Makefile.Mac Decoupage de stdlib/oo en stdlib/camlinternalOO et stdlib/oo. Petites modifs dans la compilation des classes pour reduire la taille du code genere 2002-04-24 09:49:06 +00:00
Makefile.Mac.depend Mac: deps + Makefile; gethost.c: ajout const 2001-02-28 17:20:27 +00:00
Makefile.nt add scanf 2002-07-15 01:10:33 +00:00
StdlibModules - Revu en profondeur la verification des CRC d'interfaces. 2002-11-17 16:42:12 +00:00
arg.ml petit glitch 2002-11-02 21:47:02 +00:00
arg.mli PR#1200 2002-11-02 21:24:30 +00:00
array.ml Remplacement des tests ofs + len > length par ofs > len - length, pour eviter le debordement lors de l'addition (PR#1229) 2002-07-12 09:47:54 +00:00
array.mli changement List.sort; ajout fast_sort et List.merge 2002-06-05 12:12:47 +00:00
arrayLabels.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
arrayLabels.mli changement List.sort; ajout fast_sort et List.merge 2002-06-05 12:12:47 +00:00
buffer.ml Remplacement des tests ofs + len > length par ofs > len - length, pour eviter le debordement lors de l'addition (PR#1229) 2002-07-12 09:47:54 +00:00
buffer.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
callback.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
callback.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
camlinternalOO.ml Ajout fonction public_method_label pour CamlIDL et autres programmes ayant besoin de connaitre un index de methode, sans pour autant en creer de nouveaux 2002-06-26 09:12:49 +00:00
camlinternalOO.mli Ajout fonction public_method_label pour CamlIDL et autres programmes ayant besoin de connaitre un index de methode, sans pour autant en creer de nouveaux 2002-06-26 09:12:49 +00:00
char.ml Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
char.mli Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
complex.ml Revu implementation et doc de Complex.sqrt 2002-03-29 14:46:33 +00:00
complex.mli Revu implementation et doc de Complex.sqrt 2002-03-29 14:46:33 +00:00
digest.ml Remplacement des tests ofs + len > length par ofs > len - length, pour eviter le debordement lors de l'addition (PR#1229) 2002-07-12 09:47:54 +00:00
digest.mli documentation 2002-03-06 13:33:07 +00:00
filename.ml Ameliorations de Filename.temp_file (creation en mode 600; utilisation d'un PRNG) et ajout de Filename.open_temp_file 2002-04-15 11:42:45 +00:00
filename.mli documentation 2002-11-02 21:52:54 +00:00
format.ml Documentation. 2002-11-15 10:57:14 +00:00
format.mli Typing of kprintf turned to the more general type allowed by new 2002-11-22 10:13:11 +00:00
gc.ml byterun/finalise.c: support pour les lazy finalises 2002-02-05 17:11:33 +00:00
gc.mli changement overhead par defaut -> 80 2002-08-01 14:14:10 +00:00
genlex.ml Un identificateur peut commencer par _ (PR#959) 2002-03-11 08:43:55 +00:00
genlex.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
hashtbl.ml elargissement de la spec de la fonction de hash 2002-01-23 17:52:46 +00:00
hashtbl.mli elargissement de la spec de la fonction de hash 2002-01-23 17:52:46 +00:00
header.c MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
headernt.c detabisation 2002-07-23 14:12:03 +00:00
int32.ml Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
int32.mli Nettoyages documentation 2002-06-26 14:52:34 +00:00
int64.ml Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
int64.mli Nettoyages documentation 2002-06-26 14:52:34 +00:00
lazy.ml PR#1379 2002-09-18 13:59:27 +00:00
lazy.mli Documenter le probleme avec let rec x = lazy x 2002-07-30 13:02:56 +00:00
lexing.ml changement des locations, bug trouve par DDR 2002-11-12 17:47:54 +00:00
lexing.mli documentation 2002-11-02 21:52:54 +00:00
list.ml changement List.sort; ajout fast_sort et List.merge 2002-06-05 12:12:47 +00:00
list.mli changement List.sort; ajout fast_sort et List.merge 2002-06-05 12:12:47 +00:00
listLabels.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
listLabels.mli changement List.sort; ajout fast_sort et List.merge 2002-06-05 12:12:47 +00:00
map.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
map.mli Nettoyage commentaires de doc 2001-12-10 12:33:55 +00:00
marshal.ml Remplacement des tests ofs + len > length par ofs > len - length, pour eviter le debordement lors de l'addition (PR#1229) 2002-07-12 09:47:54 +00:00
marshal.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
moreLabels.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
moreLabels.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
nativeint.ml Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
nativeint.mli Nettoyages documentation 2002-06-26 14:52:34 +00:00
obj.ml rajout final_tag (deprecated) 2002-01-23 17:51:41 +00:00
obj.mli rajout final_tag (deprecated) 2002-01-23 17:51:41 +00:00
oo.ml Ajout fonction public_method_label pour CamlIDL et autres programmes ayant besoin de connaitre un index de methode, sans pour autant en creer de nouveaux 2002-06-26 09:12:49 +00:00
oo.mli Ajout fonction public_method_label pour CamlIDL et autres programmes ayant besoin de connaitre un index de methode, sans pour autant en creer de nouveaux 2002-06-26 09:12:49 +00:00
parsing.ml changement des locations, premiere tranche 2002-11-01 17:06:47 +00:00
parsing.mli changement des locations, premiere tranche 2002-11-01 17:06:47 +00:00
pervasives.ml flush_all ignore les erreurs 2002-11-02 21:54:19 +00:00
pervasives.mli flush_all ignore les erreurs 2002-11-02 21:54:19 +00:00
printexc.ml changement des locations, premiere tranche 2002-11-01 17:06:47 +00:00
printexc.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
printf.ml Introducing (and using) string and string format coercions. 2002-10-31 10:00:02 +00:00
printf.mli Better typing of kprintf 2002-10-31 12:30:43 +00:00
queue.ml detabisation 2002-07-23 14:12:03 +00:00
queue.mli Ajout operation is_empty 2002-06-27 08:48:26 +00:00
random.ml ajout Random.bool 2002-02-01 12:24:44 +00:00
random.mli ajout Random.bool 2002-02-01 12:24:44 +00:00
scanf.ml Introducing (and using) string and string format coercions. 2002-10-31 10:00:02 +00:00
scanf.mli Reaching the format graal: the fourth element 2002-10-31 09:56:11 +00:00
set.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
set.mli typo 2002-03-06 13:33:25 +00:00
sharpbang #!space, pas #! 1998-04-27 15:14:31 +00:00
sort.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
sort.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
stack.ml Ajout operation is_empty 2002-06-27 08:48:26 +00:00
stack.mli Ajout operation is_empty 2002-06-27 08:48:26 +00:00
stdLabels.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
stdLabels.mli add String.iter 2002-01-04 03:39:46 +00:00
std_exit.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
stream.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
stream.mli Changements niveaux de titres dans les commentaires 2001-12-28 23:15:04 +00:00
string.ml Remplacement des tests ofs + len > length par ofs > len - length, pour eviter le debordement lors de l'addition (PR#1229) 2002-07-12 09:47:54 +00:00
string.mli Ajout d'un type t et d'une fonction compare pour permettre l'utilisation de ce module avec la signature OrderedType 2002-06-26 09:13:59 +00:00
stringLabels.ml MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
stringLabels.mli MAJ en-tetes pour mentionner la 'special exception' sur la LGPL 2001-12-07 13:41:02 +00:00
sys.ml Relax the value restriction 2002-12-03 02:57:23 +00:00
sys.mli changement de spec numero de version 2002-07-23 14:35:30 +00:00
weak.ml bug Weak.Create(_).iter 2002-07-23 16:10:00 +00:00
weak.mli quelques bugs sur les weak hash tables 2002-01-23 17:54:11 +00:00