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
776a8d59b7
suppression support MacOS9
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-16 15:24:03 +00:00
Damien Doligez
ba3f92d0ab
PR#2020
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-04 15:50:43 +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
Jacques Garrigue
5d342a4b2f
simplify environment when possible
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-17 10:39:48 +00:00
Jacques Garrigue
7e1bd03ec7
protect recursion in class variables too (Jun)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-17 09:23:55 +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
Jacques Garrigue
6cecdc521f
protect recursion (Jun)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6006 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-06 11:38:17 +00:00
Jacques Garrigue
e0d5541199
no need to create table for virtual classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-01 00:27:29 +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
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
Luc Maranget
76fb503b4b
filtrage des orpats de gauche a droite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-18 13:37:36 +00:00
Xavier Leroy
62a2e69361
Bug dans init_value sur les exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5666 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-07 13:42:49 +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
d8e2ca67bc
Optimisation du cas tableau constant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 12:45:42 +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
Xavier Leroy
fc47a7d6ac
Ajout de check_global_initialized pour le toplevel et pour Dynlink
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-26 13:46:06 +00:00
Xavier Leroy
8bfcd7d608
Proteger contre des appels multiples a init_toplevel, ce qui peut arriver si Dynlink.init est appele plusieurs fois (PR#1602)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5581 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-26 12:38:19 +00:00
Xavier Leroy
04b293fe2e
Utilisation de noms uniques pour les modules toplevel (PR#1672)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:10:18 +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
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
Luc Maranget
2e5185dadf
bug 1590
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-14 18:38:23 +00:00
Xavier Leroy
91445a83d2
maybe_pointer doit renvoyer true sur le type exn (PR#1502)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-12 16:36:50 +00:00
Xavier Leroy
24d36afe98
open inutile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-10 16:56:22 +00:00
Xavier Leroy
426afa35eb
Pour l'option -pack, permettre de donner une interface explicite (via un .mli) au module synthetise
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-06 15:59:55 +00:00
Xavier Leroy
91d429719c
Suppression du cas particulier pour les tableaux de grande taille, c'est maintenant traite de maniere plus generale dans interp.c et cmmgen.ml (PR#1551)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-06 11:54:59 +00:00
Damien Doligez
3373a9d8c8
probleme let rec avec {... with ...} signale par Fabrice
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-05 10:32:50 +00:00
Xavier Leroy
d2ce9e1d2c
Rectif commentaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-03 17:19:33 +00:00
Damien Doligez
9c8d3d777f
PR#1497
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-01-11 11:54:38 +00:00
Damien Doligez
83a6a5fe46
desserrage de la boucle de bootstrap
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-19 15:49:53 +00:00
Damien Doligez
854e427a99
fix "let rec x = (x;1)"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-15 23:28:52 +00:00
Damien Doligez
fc701113aa
locations, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26 17:14:28 +00:00
Xavier Leroy
248f7efac8
Produire un evenement apres les primitives qui sont transformees en appels de fonctions C et qui peuvent lever une exception, comme string_get (PR#654)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-26 10:48:13 +00:00
Xavier Leroy
fca6240f90
Revu compilation des boucles for pour le cas ou la borne est max_int (pour une boucle 'to') ou min_int (pour une boucle 'downto') (PR#415)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:50:49 +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
2b633bf048
amelioration de let rec
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 17:57:23 +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
Luc Maranget
5df7948aca
bug improbable dans matching (exemple a la fin de morematch.ml)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-02 13:20:43 +00:00
Luc Maranget
aea14e3bb4
Petite discussion avec Jacques.
...
1 Pb typage variants, en attente, exemple dans test/Moretest/morematch.ml
2 Meilleure compilation des switch de variants -> bytecomp/switch.ml
a Vider la table t en cas de changement de ok_inter
b Traiter les intervalles de taille 1 meme si !ok_inter = false
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-01 12:49:53 +00:00
Luc Maranget
e5812bce87
PR 1310
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5096 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-09 11:43:21 +00:00
Pierre Weis
d0997ce9c9
Revu l'initialisation du chemin de recherche pour les DLLs dans ocamlc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-02 16:13:12 +00:00
Pierre Weis
a829d1d7d6
Using formats %S and %C.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-27 09:27:14 +00:00
Xavier Leroy
8c0a66d21a
Pour MSVC, mettre les options -ccopt en dernier (PR#1130)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-20 09:48:15 +00:00
Xavier Leroy
632cc186a2
Bug dans la compilation de 'include <module expression with free vars>' au toplevel d'un module natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-17 13:48:55 +00:00
Xavier Leroy
2a23ee4373
Suppression d'un cas particulier de pretty-print, qui rend la sortie trop ambigue
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-17 13:48:01 +00:00
Xavier Leroy
ed4fe78854
Nettoyage gestion option -o
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-11 14:15:12 +00:00