c293d70b5c
ajout de la primitive caml_final_release
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-16 11:27:19 +00:00
e0122726af
Implementation of an extension of record typing: the first path
...
annotated label in a record implies the implicit path annotations of
the other labels. This way, a single annotation allows the
simultaneous annotation of the whole set of labels. This is a
conservative extension, since all the labels of a record must already
belong to the same module. Hence, any program that was typable before,
had this property and is thus still typable in the new scheme.
This new treatment provides a simple way to desambiguate labels in
mass, just adding a module path annotation on one of the field labels;
this slight improvement of record typing thus avoids the burden of
repeating Module.label for each label of the record.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 21:29:05 +00:00
fcb86d407d
Adding an explicit test case for 3 characters long ranges.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:46:01 +00:00
ad3f855077
Uniform treatment of errors in constant format strings typing.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:38:15 +00:00
ae6c474d49
Documentation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 20:20:16 +00:00
68a411d870
ajout reglage de vitesse du GC pour mlgmp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 15:17:43 +00:00
79920fe227
suppression des remarques temporaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 14:28:30 +00:00
cd64d89caf
finalisation dans l'ordre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 13:27:42 +00:00
999ba4d805
COMPFLAGS et OPTCOMPFLAGS comme dans Makefile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 12:23:40 +00:00
ba00a93df8
L'option -g avait disparu
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 12:23:21 +00:00
c3fff4348d
Erreur dans tree_of_exception, cas untyped (PR#2652)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 16:23:35 +00:00
6f34fbb120
Revu chop_extension_if_any
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:48:25 +00:00
b944b4dec0
Generalisation option -o
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:48:01 +00:00
fc5f00835c
Nettoyage des Makefiles, notamment la gestion des options de compilation specifiques a chaque fichier
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:47:32 +00:00
3dce37c196
Generalisation de l'option -o
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:41 +00:00
2955927a88
Ajout d'une interface pour Lexer, sinon les dependances sont incorrectes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:11 +00:00
1882ecd18f
ARCH_ALIGN_DOUBLE incorrect sur UltraSparc en mode 64 bits (PR#2572)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 14:50:52 +00:00
c8bd730465
Quoter les arguments pour create_process (PR#2512)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 12:47:36 +00:00
fc4d722c88
Documentation de lockf (PR#2487)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 12:33:41 +00:00
dbc670d5f0
L'argument de isdigit, etc, doit etre unsigned (PR#2514)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 11:59:11 +00:00
c270bbea92
Je prefere sans chaines d'identification. Merci.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 10:40:52 +00:00
adb2b0dbed
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 10:37:54 +00:00
d3e86fdfcc
Ne pas forcer de registres si on utilise le compilateur Intel icc (PR#2586)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 09:16:17 +00:00
762a006652
Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
8cf488c3d4
vi keys
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 03:20:00 +00:00
97ed033e88
PR#2297, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:45:46 +00:00
b2f3d350af
erreur de grammaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:44:03 +00:00
cb9a7f8532
missing include
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:16:14 +00:00
ad25068485
Lorsque le sous-typage se traduit par prendre un prefixe strict du bloc representant une structure, faire la copie du bloc au lieu de conserver le bloc d'origine. L'ancienne strategie casse la compilation de 'module rec' (PR#2639)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 16:09:48 +00:00
67f28f0630
use arrows too
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 15:47:08 +00:00
ec61ad53b1
maj
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6379 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 14:32:17 +00:00
82a8b99e39
OK - latex: style latex pour indenter dans les module kind et les class kind
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 14:25:50 +00:00
13e2ae7800
PR#2654
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 13:22:19 +00:00
4f0631da37
symmetry of unify_univar
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-08 06:34:56 +00:00
6ca9627bfa
pour CAML_JIT
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-05 01:15:53 +00:00
d29a2ec4df
Wrong treatment of 3 chars long patterns, when a range is specified.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-04 13:27:24 +00:00
e13fbb44fc
added a comment asking to keep in sync with obj.c function caml_cache_public_method[2]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-04 13:21:46 +00:00
a121b35b97
functions caml_cache_public_method and caml_cache_public_method2 might be useful for jit
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-04 13:05:18 +00:00
4f8c5658cd
Documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-04 08:01:31 +00:00
00bc8a6f73
testing result
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-02 09:42:01 +00:00
1253881474
initial version - for testing new OO bytecodes like GETPUBMET GETDYNMET
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-02 09:36:19 +00:00
9d19bcf441
MAJ magic numbers suite aux modifs des objets
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-01 12:36:34 +00:00
f2dcef94cb
Locking operations can block (duh)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-01 12:20:01 +00:00
f2a88d399d
correct soundness problems?
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-01 09:35:54 +00:00
8e89ab9753
protect against sharing of self type
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-31 02:01:59 +00:00
9f20c9c8a1
rectangle madness (PR#2491)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-30 14:11:41 +00:00
79361786a1
Interactions entre wait_next_event et les threads (PR#1955)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-30 10:25:08 +00:00
7099a33f24
Revu chop_extension (PR#2614); reorganisation des parties dependantes / independantes de l'OS
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-30 09:41:53 +00:00
a9159a088b
Installer unix.mli comme dans ../unix
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-30 08:17:06 +00:00
8a670cffd8
trinomy for final classes: self_type/private_self/public_self
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-28 16:09:34 +00:00
Damien Doligez
Pierre Weis
Xavier Leroy
Jacques Garrigue
Maxence Guesdon
Basile Starynkevitch