Xavier Leroy
e2b313a055
Rendre ocamlc -output-obj compatible avec Dynlink et le toplevel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-22 15:07:51 +00:00
Damien Doligez
2934aea785
bootstrap
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-20 10:49:15 +00:00
Damien Doligez
ff651373ca
compilo de bootstrap pour caml_gc_quick_stat
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-02 14:44:39 +00:00
Damien Doligez
c5fabfbfb3
PR#1914,PR#1956 depollution
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-04 17:46:26 +00:00
Damien Doligez
0c7aecb88d
depollution suite (et fin?) (PR#1914 et PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-02 19:23:29 +00:00
Damien Doligez
5a678d29f5
depollution suite (PR#1914 et PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-01 16:42:43 +00:00
Damien Doligez
331b2d89c3
depollution suite (PR#1914, PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-31 14:20:40 +00:00
Damien Doligez
31943bac1d
depollution suite (PR#1914 et PR#1956); byterun/weak.c: PR#1929 suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-29 22:15:02 +00:00
Xavier Leroy
fa20613687
Introduction de Int32.float_of_bits et Int32.bits_of_float. Remplacement de float_of_bytes par Int64.float_of_bits.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-20 16:24:35 +00:00
Damien Doligez
aa46693dc5
depollution (PR#1914, PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-16 18:09:44 +00:00
Damien Doligez
a90b6e9d12
decontamination (PR#1914, PR#1956)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-15 18:37:24 +00:00
Damien Doligez
5fcac6a58c
debut du travail de depollution de l'espace de noms (PR#1914)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-08 19:50:26 +00:00
Jacques Garrigue
f2095623ff
fast and compact classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-25 09:20:45 +00:00
Xavier Leroy
3c5005b99e
Changements comparaisons polymorphes, detection debordement dans les litteraux entiers, ...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-21 16:31:21 +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
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
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
Xavier Leroy
cb8205d151
MAJ version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5832 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-12 07:46:55 +00:00
Xavier Leroy
48f6c91d3f
MAJ pour 3.07 beta 2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-26 07:45:41 +00:00
Luc Maranget
0a5deb158d
peit oubli merci Damien
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5716 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-18 13:43:03 +00:00
Xavier Leroy
6faf1db3ca
MAJ
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-17 15:40:21 +00:00
Michel Mauny
6fe08afc3a
*** empty log message ***
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-14 15:52:14 +00:00
Xavier Leroy
1a4be860d0
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-05 11:13:24 +00:00
Xavier Leroy
3e4bf9252b
Revu representation des declarations de type private
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 09:14:35 +00:00
Xavier Leroy
50bdc60761
L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .o, ainsi que le link
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 13:22:09 +00:00
Xavier Leroy
1fa763e0c5
Merge branch with recursive modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19 15:53:53 +00:00
Jacques Garrigue
8150c79b93
add weak contravariance for types (PR#1692)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-21 09:15:54 +00:00
Pierre Weis
e77055aad9
Complete move from virtual to private for concrete types with private
...
constructors (or labels).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-01 22:22:37 +00:00
Xavier Leroy
7abcc8799e
Ajout des litteraux de type int32, nativeint, int64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-25 12:27:31 +00:00
Damien Doligez
43b02185d7
ajout option -stypes; depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 01:32:09 +00:00
Xavier Leroy
5c7accd134
Optimisation de Pervasives.compare par strength reduction
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-01 08:46:39 +00:00
Xavier Leroy
0d78a56015
Permettre de placer les sources du module Foo dans Foo.ml aussi bien que dans foo.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-03 17:20:39 +00:00
Pierre Weis
79f3791c04
Introduction des types virtuels etape 2: introduction dans camlp4.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28 07:53:08 +00:00
Pierre Weis
b5d0102c05
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28 06:59:19 +00:00
Luc Maranget
2258980625
merci damien (locations fantomes)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-24 15:13:01 +00:00
Damien Doligez
1ceb86a2ea
PR#1495
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-12 18:59:11 +00:00
Xavier Leroy
5e152f7945
- Revu en profondeur la verification des CRC d'interfaces.
...
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
l'executable bytecode, section CRCS. Revu Dynlink pour utiliser ces
CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:42:12 +00:00
Damien Doligez
123fb9f713
changement des locations, deuxieme tranche
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-02 22:36:46 +00:00
Damien Doligez
ed3123ee87
changement des locations, premiere tranche
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-01 17:06:47 +00:00
Pierre Weis
96b2ca63db
Bootstrap.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-31 12:32:04 +00:00
Luc Maranget
e143b9faf5
upgrade pa_ocamllex, new feature included
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-30 17:20:04 +00:00
Luc Maranget
c417b82d9e
nouveau ocamllex
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-28 16:46:50 +00:00
Damien Doligez
dd63c45e38
PR#1379
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5136 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-18 13:59:27 +00:00
Pierre Weis
642e2919ba
Bootstrap.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:35:01 +00:00
Xavier Leroy
3fc5f581d6
MAJ pour 3.06
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:30:34 +00:00
Xavier Leroy
856b206022
MAJ magic numbers, version number
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 14:16:42 +00:00
Damien Doligez
38a7141441
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 17:09:18 +00:00
Damien Doligez
851b9cb158
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 16:38:07 +00:00
Damien Doligez
8bd27a45b4
deps
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 15:48:45 +00:00
Xavier Leroy
2b7a057f2f
Passage version 3.05
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 13:36:57 +00:00