Jacques Garrigue
a5f0fd6a27
update dependencies
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-15 03:08:09 +00:00
Pierre Weis
564969e68c
Documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7049 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-13 15:44:02 +00:00
Pierre Weis
026ff6d482
Better documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-13 11:26:06 +00:00
Luc Maranget
fbf58963a8
PR #3870
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7046 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-07 16:07:48 +00:00
Damien Doligez
b7d26ab5a3
exporter la fonction de conversion int -> Unix.error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-06 12:38:32 +00:00
Damien Doligez
fd7d0c3bfe
PR#3755 indentation trompeuse
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-26 12:10:47 +00:00
Damien Doligez
1ced22dda7
PR#3767 features 1 and 2: display full location of events instead of one position
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-25 15:35:16 +00:00
Damien Doligez
990a8c4178
PR#3767 feature 4: identify backtraces with a keyword
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7028 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-24 11:50:27 +00:00
Damien Doligez
95a5c077e8
PR#3767 feature 3: feedback when removing breakpoints
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-23 20:16:43 +00:00
Jacques Garrigue
f752003267
subtyping polymorphic variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-19 03:50:12 +00:00
Jacques Garrigue
5bef38ba93
bug in object subtyping + subtyping forget constraints
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-17 05:38:23 +00:00
Jacques Garrigue
c78bc94a7a
subtyping private types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-16 09:47:31 +00:00
Jacques Garrigue
a033ecb41c
exemple supplementaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-16 01:11:02 +00:00
Jacques Garrigue
83c0f7bb46
fix merge problems with 3.08.4 (PR#3758)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-16 00:48:56 +00:00
Damien Doligez
a4a3c10e70
fusion des modifs de 3.08.4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-13 20:59:37 +00:00
Damien Doligez
f4cc48c8ea
fusion des modifs de 3.08.4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-13 20:48:28 +00:00
Xavier Leroy
7df7bda91d
MAJ des benchs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-12 09:22:04 +00:00
Xavier Leroy
0ba3106399
Retour en arriere sur la simplification des signatures inferees (fix du PR#3545 du 2005-08-02), qui est completement bugge
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-08 09:41:52 +00:00
Jacques Garrigue
5640bb83d7
bug in private rows
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-08 05:40:52 +00:00
Xavier Leroy
754bc39c90
Systematiser la simplification des signatures inferees (PR#3545)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-02 09:49:30 +00:00
Xavier Leroy
abb2a740b4
Doc %F (PR#3541)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-02 09:21:24 +00:00
Xavier Leroy
d4d7720ca9
Revu implementation de ocamlopt -pack. Remplacement du renommage a posteriori par un renommage a priori via l'option -for-pack
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-01 15:51:09 +00:00
Xavier Leroy
2fb1df4156
Suppression de Thread.wait_signal sous Win32, inutilisable sans Thread.sigmask
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-31 12:33:54 +00:00
Xavier Leroy
eeb4450b89
Ajout de Thread.sigmask.
...
try_leave_blocking_section: interdire l'execution immediate de signal
handlers, c'est trop risque de faire pthread_mutex_trylock dans un
handler de signaux.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-31 12:32:41 +00:00
Xavier Leroy
072e77b3ba
Nettoyage du code qui teste les signaux en attente.
...
Tester systematiquement les signaux dans leave_blocking_section.
Tester aussi dans Sys.signal (s'il y a un signal en attente dont on
change le comportement en Signal_ignore, p.ex.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-31 12:31:03 +00:00
Xavier Leroy
f55d676d2c
Interdire les references Foo.x lorsqu'on compile foo.ml ou foo.mli (PR#3100, 3304, 3457)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-31 12:03:40 +00:00
Damien Doligez
9a9886022f
depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-29 15:54:25 +00:00
Damien Doligez
0e436d7aab
c'est pas moi c'est Xavier
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6988 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-29 12:47:45 +00:00
Xavier Leroy
da79df9b18
Revu gestion des signaux et leurs interactions avec les threads systeme (PR#3659)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-29 12:11:01 +00:00
Jacques Garrigue
5b91a039ac
add PRs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-29 08:21:14 +00:00
Xavier Leroy
ef57438f9f
Windows n'a pas sigaction et al
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6985 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-28 16:28:41 +00:00
Jacques Garrigue
c1a91b796e
use -idirafter
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-26 13:35:16 +00:00
Pierre Weis
ea42810e92
Testing difference between @\n and \n.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 17:27:17 +00:00
Pierre Weis
eb81b70950
Bumping the version.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 12:23:28 +00:00
Pierre Weis
d9fbc1854c
Typos in the doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 12:22:29 +00:00
Pierre Weis
32e84c0515
Homogènésation des interfaces de printf et format: kprintf est marquée
...
obsolète au profit de ksprintf; on introduit kfprintf.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 12:21:02 +00:00
Pierre Weis
2815135617
Char ranges in format strings where not handled properly (wrong parsing).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 12:11:26 +00:00
Jacques Garrigue
8c87123e86
portee des variables de type
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 06:42:36 +00:00
Jacques Garrigue
c9fb98c676
error message
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 04:30:19 +00:00
Jacques Garrigue
8e25cec9c4
definition plus claire du partage des variables de types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-22 04:11:47 +00:00
Damien Doligez
841e1e9a28
espaces
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-21 14:52:45 +00:00
Jacques Garrigue
d21579ac02
fix potential bug
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6969 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-12 23:50:45 +00:00
Jacques Garrigue
57cf3cecd4
fix PR#3638
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-12 11:38:45 +00:00
Jacques Garrigue
c7a3c042df
fix PR#3705
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-12 01:07:09 +00:00
Pierre Weis
d21474e7b3
Documentation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6965 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-11 14:49:57 +00:00
Jacques Garrigue
b20551ecda
check variance for row-variable too!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-11 08:07:59 +00:00
Pierre Weis
6fae6a771a
A subtile bug in scanf: stopper character have not to be always
...
present in the input (in this case the token spreads to the end of
file, as specified, and this is not an error!).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-02 21:10:04 +00:00
Pierre Weis
f269a30281
Adding a new test for scanf: two concurrent processes communicating
...
via stdin/stdout (this example tests proper treatment of end of file
and \n at end of string; more precisely, this test finely tests char
lookaheads and char lookahead attempts, since a spurious lookahead
attempt may lead to a deadlock between the reader and the writer (in
the example the slave and the master)).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-01 12:39:43 +00:00
Pierre Weis
7dc2ff0178
Added a test for simple string scanning (incredible: it was missing!.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-01 12:08:34 +00:00
Pierre Weis
daee11142a
Last added test was bogous.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-07-01 09:05:21 +00:00