Commit Graph

298 Commits (76d5c7aee1c5a59a60e464e6253eaf3bab9b7f1d)

Author SHA1 Message Date
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
Damien Doligez 130e3415fd ajout option -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 15:17:11 +00:00
Xavier Leroy 7b80e7df6f Utliser Sys.executable_name au lieu de Sys.argv.(0) (PR#817)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-11 14:08:43 +00:00
Xavier Leroy be551edb0a Complex bigarrays
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-10 17:01:27 +00:00
Xavier Leroy 71cf31f0e2 Ajout du packaging d'unites de compilation (option -pack)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 16:55:44 +00:00
Damien Doligez 0dbce74fc8 lazy a la Tolmach
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 17:39:10 +00:00
Damien Doligez 52e8802922 detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 14:45:14 +00:00
Damien Doligez 06bad3978d MacOS 9
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-13 13:59:27 +00:00
Xavier Leroy 713598aa8a Cosmetique: espacement dans message d'erreur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-29 09:54:21 +00:00
Xavier Leroy bf4fdce9f2 Avec -output-obj, ne pas executer les fonctions at_exit, car ca peut invalider des callbacks C->Caml apres (PR#525)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-27 13:00:09 +00:00
Xavier Leroy 05313c9c6a Nettoyage du .obj laisse par MSVC (PR#640)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-26 14:24:59 +00:00
Xavier Leroy 320487c59f Revu gestion des backtrace; suppression de RERAISE, utiliser l'adresse de l'objet exception a la place
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4040 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-26 12:47:03 +00:00
Xavier Leroy 1b985c3f95 Retour de -make-runtime -use-runtime par demande populaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 10:11:30 +00:00
Xavier Leroy 343d49401a Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 09:32:32 +00:00