Alain Frisch
3958a92c72
Merge the natdynlink branch into HEAD.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-06 15:16:56 +00:00
Pierre Weis
2a99b8737b
Expanding the usual compiler's type-based optimisations to private abbreviations.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-01 18:36:43 +00:00
Pierre Weis
59e0723455
It works: compilers and camlp4 are fully bootstrapped. The ast magic number is not yet changed.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-09 10:29:37 +00:00
Damien Doligez
1dd68ccf50
ajout des annotations pour variables et appels terminaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-05-16 08:21:41 +00:00
Nicolas Pouillard
81cfc29b31
Better handling of multiple extensions (foo.d.cmo, foo.p.cmx...)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-23 13:44:51 +00:00
Damien Doligez
f700284aac
fusion des changements 3.09.3 -> release309_merge310
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-09 13:31:15 +00:00
Xavier Leroy
b0041ea963
Revised DLL loading: distinguish between loading for execution
...
(ocamlrun, dynlink, toplevel) and loading for checking the existence
of symbols (ocamlc). This is needed for Windows with manifests and
not a bad idea for other platforms.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7656 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-28 21:36:38 +00:00
Xavier Leroy
8d3d91b9a3
Attempt to support Visual C++ 2005. Remain to be tested.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-23 08:51:31 +00:00
Jacques Garrigue
9e157e5651
do not use builtins directly
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-07-06 07:32:28 +00:00
Xavier Leroy
09921987cc
Deplacement des infos de format des .cmo et .cma dans Cmo_format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-05-11 15:50:53 +00:00
Xavier Leroy
536dfe0d7c
Ajout option /link /subsystem:console pour Windows/msvc et meilleur traitement des options /link passees via -ccopt
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-05-09 16:00:36 +00:00
Damien Doligez
1279ab4b76
fusion des changements 3.09.1 -> 3.09.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-16 23:28:22 +00:00
Jacques Garrigue
602146f892
add virtual instance variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-05 02:28:13 +00:00
Damien Doligez
f6190f3d0c
PR#1956 renommage: bigarray est prefixe par ocaml_ba_
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7341 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-27 14:33:42 +00:00
Damien Doligez
64666f7de7
PR#3809 wrong line numbers in backtrace (partial)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-25 15:56:45 +00:00
Xavier Leroy
58a48bd806
Retour en arriere sur precedente modif (PR#3556), problematique quand toutes les primitives C sont exportees avec 'external'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-13 13:32:06 +00:00
Xavier Leroy
d805f2e984
Si aucun module d'un .cma est utilise, ne pas linker les bibliotheques C specifiees dans le .cma (PR#3556)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-24 16:28:21 +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
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
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
Jacques Garrigue
f30c72cb08
fix PR#3576 (put free methods in environment)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-04 04:09:12 +00:00
Luc Maranget
3d448065a6
Hum, some printout code left
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-11 12:50:45 +00:00
Luc Maranget
3135e5fd76
La suite: en cas de gardes le pattern macthing est compile en mode "Partial"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-11 12:44:09 +00:00
Luc Maranget
d945bc62f4
Match compiler : prune context for all mutable fields
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-11 10:12:05 +00:00
Jacques Garrigue
582b64e8c0
share some strings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6715 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-30 07:28:00 +00:00
Damien Doligez
b586214af9
suppression de code mort
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6710 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-29 14:51:25 +00:00
Jacques Garrigue
6d1d85e520
compact classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-29 02:26:45 +00:00
Luc Maranget
1209356ca6
avoid -W Y warnings in some source I wrote
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-25 12:44:33 +00:00
Jacques Garrigue
36a11d068b
unused variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6687 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-22 08:42:34 +00:00
Xavier Leroy
c2ac86736b
Revu compilation de 'module rec'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6584 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-12 12:55:11 +00:00
Xavier Leroy
237006931a
Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:19:15 +00:00
Xavier Leroy
762a006652
Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
Jacques Garrigue
6a940ef65d
switch to new vtable representation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-26 11:10:52 +00:00
Luc Maranget
07bd0b3570
bug signale par G. Peskine, a la base il faut faire confiance a l analyse d exhaustivite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-29 12:38:11 +00:00
Jacques Garrigue
36148f2f4e
get_meth
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-28 08:40:26 +00:00
Jacques Garrigue
05b6ab1aa8
cas d'un appel de methode d'un autre objet
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-28 03:45:41 +00:00
Xavier Leroy
7a53dbb6f0
Optimisation des tableaux constants: PR#2017
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-18 08:16:54 +00:00
Basile Starynkevitch
941263f019
added static_release_bytecode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-16 13:46:43 +00:00
Jacques Garrigue
acbda37314
quick fix for PR#2458
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-16 00:50:23 +00:00
Damien Doligez
ebc03c1000
suppression support macos 9
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-15 14:57:56 +00:00
Xavier Leroy
f8ae9668d9
Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de commande pour denoter des sous-modules dont l'implementation est identique a l'interface
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-09 13:32:28 +00:00
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
Xavier Leroy
a82c366504
Portage Mingw et revision du portage Win32/MSVC
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 09:49:45 +00:00
Luc Maranget
842eb76ef7
Nouveaux warning dans les or-pats
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-24 14:34:37 +00:00
Luc Maranget
0d4d371b63
Les variants constants sont des Const_address et non pas des Const_base(Const_int), sinon ca peut faire perdre des racines du GC dans le code natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:09:55 +00:00
Xavier Leroy
4cc30822ae
include A ne doit pas faire reference au global A si le module A ne definit que des types (PR#1125)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-26 07:52:27 +00:00
Xavier Leroy
a4ade26294
Decoupage de stdlib/oo en stdlib/camlinternalOO et stdlib/oo. Petites modifs dans la compilation des classes pour reduire la taille du code genere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-24 09:49:06 +00:00
Jacques Garrigue
a1e231752c
roll-back commit bugs (JM Eber)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4703 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 22:55:36 +00:00
Jacques Garrigue
0a8236066f
vive les methodes polymorphes!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 07:27:47 +00:00
Jacques Garrigue
c6421a43a2
PR#1020
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04 07:13:58 +00:00
Xavier Leroy
bae1b84692
Faire Filename.quote sur les noms de fichiers passes au compilo C, etc (PR#896)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 16:17:53 +00:00