Commit Graph

4720 Commits (78987eff9f8c47c893f5f164d2ec5b18e9ef0c39)

Author SHA1 Message Date
Jacques Garrigue 78987eff9f backtrack l'unification des objets (PR#1377)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-09 02:58:21 +00:00
Jacques Garrigue cc07ebe27d corrige PR#1374: univar aliasee en variable de rangee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-07 01:45:16 +00:00
Jacques Garrigue 0f434a2e17 corrige PR#1374: univar aliasee en variable de rangee
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-07 01:36:08 +00:00
Pierre Weis 66f225a7bf Too optimistic implementation of %F format: we have to do the all job on
the Caml side.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5122 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-06 10:05:33 +00:00
Pierre Weis ccd4123e89 Since string_of_float is now compatible with Caml lexical conventions,
there is no need to add an extra ".0" at the end of float tokens
(string_of_float does it for you if necessary).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-06 09:44:33 +00:00
Pierre Weis 87135c8050 Using printf formats for Caml tokens.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-06 09:36:20 +00:00
Pierre Weis a96f8f0e87 Formats %B and %F.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:38:11 +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
Pierre Weis 7c766451e5 Local module function Pervasives.string_of_float was not equivalent to
../stdlib/Pervasives.string_of_float.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:32:57 +00:00
Pierre Weis c89dbcc9e0 Introducing the (compiler private) helper function to turn out a
string representation of a floating point number to a valid Caml token
(valid_float_token).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:31:18 +00:00
Pierre Weis 0d986a420a Introducing new format %F and %B to print parsable float and bools.
(For bools format B is equivalent to format b, which can now be used
for something else: printing integers in binary format ?).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5115 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:27:34 +00:00
Pierre Weis fc297ab443 Closing open bug report #1355:
the printing of negative argument of constructors (here parens
are mandatory to get a Caml parsable output).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-05 10:24:41 +00:00
Xavier Leroy 9adc852967 Blinder la lecture de /proc/self/exe (sur de vieux noyaux Linux, ca ne renvoie pas un nom de fichier, mais un inode)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-03 13:56:36 +00:00
Jacques Garrigue ed82bb65a6 PR#1364
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-03 06:32:43 +00:00
Jacques Garrigue a65612651e precedences de || et && dans unify_row_field
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-03 02:31:09 +00:00
Jacques Garrigue 14be599efd corrige PR#1360: Reither boucle
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-02 03:41:14 +00:00
Xavier Leroy f8cd776332 Utiliser mmap() au lieu de malloc() sur Alpha/Linux en plus de Itanium/Linux (PR#1350)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-27 08:30:53 +00:00
Xavier Leroy f487a57f92 Revu generation du .depend (ne pas mettre de dependances sur otherlibs, cela pose probleme sous Windows)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 13:28:20 +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 8dae445f84 MAJ 3.06
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:25:32 +00:00
Xavier Leroy d1b2174b01 Documentation LIBDIR, BINDIR
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:24:23 +00:00
Xavier Leroy 7f4a99759c Les affectations sur les bigarrays doivent renvoyer () (PR#1323)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:23:55 +00:00
Xavier Leroy 161bca8da3 Revu generation du .cmi avec ocamlc -pack: supprimer les dependances sur les modules empaquetes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:23:23 +00:00
Damien Doligez 8ca2c9f049 fix du bug signale par Steve Harris dans Caml-list
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-13 17:16:32 +00:00
Maxence Guesdon 36434fc01b correction commentaires
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-13 15:12:56 +00:00
Maxence Guesdon 4b66ae11a1 ne plus installer odoc_args.mli + ajout commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-13 14:24:20 +00:00
Maxence Guesdon 307628e786 pas d'option -g en native mode + ajout du module Args dans Odoc_info et utilisation de ce module au lieu de Odoc_args dans les générateurs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-13 14:09:26 +00:00
Jacques Garrigue 9b7e6b3385 top aussi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5097 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-12 05:31:21 +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
Xavier Leroy c9f1e22c09 Reduit la taille de pile minimum a 1.5 Mo. Sur PC Linux, 1 Mo suffit pour make opt.opt (PR#1313)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5095 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-09 11:10:34 +00:00
Jacques Garrigue c9b77a613c last changes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5094 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-09 10:34:44 +00:00
Xavier Leroy b920dbd56c Par precaution, passer aussi BINDIR et MANDIR a l'install de Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5093 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-09 08:07:05 +00:00
Jacques Garrigue 86a1a1c6f7 topstart.cmo pour toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5092 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-09 00:46:30 +00:00
Maxence Guesdon eacc53042b conservation des textes des sections pour mettre de jolis texte pour les liens entre sections n html
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-08 13:24:05 +00:00
Maxence Guesdon c8a0a1b6e4 nouveau style pour éviter les clashes avec paragraph
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-08 13:10:07 +00:00
Jacques Garrigue 85904e8c17 passe mandir correctement a camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5089 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-07 12:45:00 +00:00
Xavier Leroy 9fa4787b9b Definir WIN32_LEAN_AND_MEAN pour contourner un probleme winsock/winsock2 avec Mingw 1.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5088 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-07 11:49:10 +00:00
Jacques Garrigue 857e508c69 version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-07 05:54:46 +00:00
Xavier Leroy a931e01574 MAJ instructions Win98
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 12:51:26 +00:00
Jacques Garrigue ed5d0de32f bad library message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 09:17:26 +00:00
Xavier Leroy a49cf7b08c Enlever les .so qui pourraient rester d'une install de 3.04
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 09:06:33 +00:00
Xavier Leroy 8509d4fc2e Typo (PR#1299)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5083 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 08:22:45 +00:00
Jacques Garrigue eda6d781d1 report error in Tk window
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 04:03:02 +00:00
Jacques Garrigue c77e38607a win32 path
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-06 03:03:09 +00:00
Jacques Garrigue bae927f1f9 corrige PR#1301: bug dans unify_var
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 23:41:09 +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
Xavier Leroy c5e13cd23f MAJ numero de version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5078 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 14:16:12 +00:00
Xavier Leroy a1bcfad7c5 MAJ magic numbers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 14:15:46 +00:00
Xavier Leroy 7d207e3355 MAJ variable INTERFACES (PR#1278)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5076 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 13:51:38 +00:00
Xavier Leroy da8d3a6e46 Ne pas utiliser fpclassify sous Cygwin et Mingw (PR#1293)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 12:19:50 +00:00