Jacques Garrigue
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
Jacques Garrigue
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
Xavier Leroy
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
Jacques Garrigue
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
Jacques Garrigue
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
Jacques Garrigue
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
Jacques Garrigue
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
Jacques Garrigue
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
Damien Doligez
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
Michel Mauny
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
Basile Starynkevitch
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
Basile Starynkevitch
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
Basile Starynkevitch
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
Jacques Garrigue
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
Pierre Weis
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
Pierre Weis
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
Pierre Weis
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
Xavier Leroy
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
Pierre Weis
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
Xavier Leroy
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
Xavier Leroy
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
Xavier Leroy
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
Xavier Leroy
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
Xavier Leroy
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
Xavier Leroy
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
Didier Rémy
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
Didier Rémy
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
Didier Rémy
7cbb6ca64b
caml-types:
...
- largest typed region is now dynamically recomputed.
- changed binding to C-down-mouse-1 (allow other bindings).
- allow scrolling when mouse is moved to bottom or top of window.
- ignore key events, out of frame-motion, and wait for mouse release.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5875 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-20 12:06:42 +00:00
Maxence Guesdon
60b74b3c3c
fix bad display of type parameters for class and class types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-17 15:30:47 +00:00
Damien Doligez
e969e8ad9f
PR#1878
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5873 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-16 23:22:23 +00:00
Pierre Weis
5320c8fce6
Documentation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5872 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-16 16:25:25 +00:00
Damien Doligez
c48f7030d9
foo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-16 13:06:13 +00:00
Damien Doligez
7ded3641b2
meilleure doc de la fonction de comparaison
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-16 13:05:34 +00:00
Basile Starynkevitch
b3a4e2e07a
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-15 07:34:23 +00:00
Basile Starynkevitch
8aa1184310
added explanation about scanning indications.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5868 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-15 07:28:56 +00:00
Xavier Leroy
74ce1671a3
MAJ version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-13 07:40:27 +00:00
Damien Doligez
09701dc6b5
petits bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-11 00:00:14 +00:00
Didier Rémy
8088053d8c
caml-types: mouse track + little things
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-10 13:25:38 +00:00
Damien Doligez
491ff152d1
PR#1871
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-10 13:13:21 +00:00
Pierre Weis
f77cbfa011
Doc typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5862 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-08 13:13:33 +00:00
Pierre Weis
67640cbf13
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-08 13:12:44 +00:00
Xavier Leroy
eebd71d385
Mauvaise compilation du module rec (PR#1863)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-03 14:36:00 +00:00
Xavier Leroy
486fd42950
MAJ version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5859 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-03 08:31:50 +00:00
Michel Mauny
0983237b9e
Fixed parsing bug of labels in pa_r (and quotations as well)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5858 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-02 12:33:44 +00:00
Michel Mauny
bb6e8579a3
*** empty log message ***
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-30 14:39:38 +00:00
Michel Mauny
877881c01d
More fixing bug #1860
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-30 14:39:26 +00:00
Michel Mauny
59eebe72c4
Fixed bug #1859
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-30 11:38:04 +00:00
Michel Mauny
39b0164003
Fixed bug #1860
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-30 10:20:06 +00:00
Xavier Leroy
9336ed583b
Pbs install Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5852 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-29 14:05:01 +00:00
Xavier Leroy
cbad93f79e
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-29 12:25:11 +00:00