c4c06a135d
Detection des debordements de litteraux entiers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5961 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 16:01:13 +00:00
0f97d0caa3
Dans la conversion float -> timeval, arrondir vers le haut pour ne pas obtenir 0 par inadvertence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 16:00:52 +00:00
bcf73f7556
Attention aux litteraux qui debordent en 32 bits.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:59:38 +00:00
2c4e0b31e3
Se proteger contre les debordements lorsqu'on calcule la taille d'un nouveau bigarray.
...
Revu comparaisons flottantes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:58:56 +00:00
44ca4c62e6
Verification de debordements dans les conversions string -> int
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5957 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:58:10 +00:00
2f458c3866
Ajout de I64_literal et I64_ult
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:57:17 +00:00
d956eeca5b
Revu semantique de compare sur les flottants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:56:56 +00:00
de2346f25f
Suppression declaration inutile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5954 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:56:42 +00:00
2ddcb69bbc
Ajout array_bound_error() pour compatibilite ocamlopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:56:33 +00:00
c892343ff1
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5952 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:56:09 +00:00
cd3e751fb8
Revu semantique des comparaisons polymorphes sur les flottants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5951 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:55:47 +00:00
d71d293491
Les acces hors bornes dans les tableaux et les chaines levent tous la meme exception Invalid_arg("index out of bounds") pour compatibilite avec ocamlopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5950 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:55:24 +00:00
e4922858fd
Changement erreur acces hors bornes. Utilisation des buckets statiquement alloues par ocamlopt pour Out_of_memory et Stack_overflow
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:54:03 +00:00
7c4108e56c
Detecter division par zero et lever exception Divide_by_zero.
...
Preallocation statique de certaines exceptions systeme
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:53:10 +00:00
0f3457c3b1
- fix: better output of titles in html (use more the style)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 15:39:06 +00:00
d0c544a140
add: -intro option to use a file content as ocamldoc comment to use as introduction for LaTeX document and HTML index page
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 14:32:58 +00:00
aabdb2aac0
OK - add: the HTML generator generates the code of the module if available
...
OK - add: field m_code for modules, to keep the code of top modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 13:37:38 +00:00
aa5699938f
Added warning for illegal escapes sequences in strings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 13:36:42 +00:00
922ce3d7c9
fix display of include directives and comments associated to include directives are not kept and displayed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5941 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 12:46:30 +00:00
df0a2df619
PR#1927 et PR#1929
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5937 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-20 21:02:53 +00:00
48d626ac16
PR#1931
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-19 14:01:23 +00:00
50e0a4c26e
object fun
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-19 02:36:58 +00:00
363b950a2d
camldebug-command-name should be user-settable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-18 09:27:00 +00:00
9d338a9a43
more tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-08 08:29:37 +00:00
80e050c2cd
simplify
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 08:19:29 +00:00
099f195380
Primitive C pour l'elevation au carre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 07:59:10 +00:00
5ed1c19bb2
better message for PR#1884
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 02:17:49 +00:00
8c2a24f381
fix PR#1917 and PR#1918
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 01:09:37 +00:00
303ca193e8
tools for debugging the type checker
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 01:07:32 +00:00
b719914d64
fix PR#1917
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 01:06:55 +00:00
010106506c
fix PR#1918
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 00:19:08 +00:00
14abe89d55
PR#1888
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-06 15:12:44 +00:00
c9b09851c5
Finished fixed opt.opt installation of CamlP4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5893 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-30 09:52:55 +00:00
8970df4f01
several arguments for shell command
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5892 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-29 15:22:56 +00:00
970eb989d5
typos in messages for shell
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-29 15:11:18 +00:00
a4564cec55
added shell command for user
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-29 15:08:59 +00:00
9e46ceb9e2
cannot List.assoc on label_description
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-28 15:26:48 +00:00
fa91038ef2
Suite à la remarque de Didier.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-27 10:37:31 +00:00
e06b2b9bf8
Need to bootstrap => Sub-version++
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-27 09:33:26 +00:00
117bab91dd
To answer a relevant question asked on the mailing list, introduction
...
of a general pgc (Print with Given Continuation) facility: kfprintf
with the corresponding profile
val kfprintf : (formatter -> 'a) -> formatter ->
('b, formatter, unit, 'a) format4 -> 'b;;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-27 08:59:08 +00:00
2fc913e51e
Typo dans BngSub3
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-27 08:41:46 +00:00
a11df076b9
Scanning char ranges was far too inefficient (due to repetitive
...
analysis of the char ranges and the repetitive computation of the
corresponding characteristic function); hence, analysis and creation
of char range predicates has been completely rewritten.
Char range predicates now use bit strings instead of vectors;
predicate computation is a memo function such that scanning ranges is
no more just a matter of expensive predicate calculation (performed
again and again for each scanf call). In addition, trivial and very
common char ranges (one, two, or threee characters only) are treated
specially and more efficiently.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-27 08:21:04 +00:00
0374fb3f43
Typo dans sse2_mult_sub
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-26 09:51:11 +00:00
bb5ee983ab
Nettoyages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-26 09:35:54 +00:00
9a05112de8
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-26 09:35:41 +00:00
ab84366870
Remplacement de la couche basse BigNum
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5880 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-24 09:18:01 +00:00
32e0164564
Issue with double alignment detection on HPPA/Linux when kernel alignment fixups are activated
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5879 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-21 13:17:06 +00:00
4ee3610db1
Doc plus complete de mktime (PR#1882)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5878 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-21 12:27:43 +00:00
db2dbeca8a
commentaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-21 07:36:06 +00:00
1637b4b413
Retrait des messages de debugging...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-20 12:10:41 +00:00
Xavier Leroy
Maxence Guesdon
Michel Mauny
Damien Doligez
Jacques Garrigue
Basile Starynkevitch
Pierre Weis
Didier Rémy