Commit Graph

6043 Commits (a685f0b3b3d229065fe336be9eec4b3d9f96315c)

Author SHA1 Message Date
Jacques Garrigue a685f0b3b3 add private row types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-29 04:11:26 +00:00
Damien Doligez 3dd95017c5 suppression Printexc.catch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-22 13:53:34 +00:00
Damien Doligez 7ccab6d02a nouveaux warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-22 13:52:36 +00:00
Damien Doligez be2320a1fd suppression 3 warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-22 13:49:35 +00:00
Damien Doligez b9abfe22c4 PR#3669: suppression de Printexc.catch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-22 12:45:55 +00:00
Michel Mauny ef721f23ab Fixed a bug introduced by fix of PR#3688
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-20 16:49:14 +00:00
Michel Mauny ba8253105b Fixed the Cmalp4 part of PR#3688
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-17 12:25:57 +00:00
Jacques Garrigue 877263c14a print private variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-13 04:55:53 +00:00
Jacques Garrigue 3aa312d98b do not force presence for variants with only 1 constructor
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-13 01:11:02 +00:00
Michel Mauny 45a6bc0f20 Wish #3143
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-09 16:53:25 +00:00
Jacques Garrigue 5a34c088cc when using -rectypes, expand abbreviations to detect cycles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6905 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-03 01:42:00 +00:00
Michel Mauny 4dca08280f Fixed PR#3561
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-02 10:40:32 +00:00
Michel Mauny 85bb4ee7f0 Fixed bug #3592
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6900 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-01 18:22:24 +00:00
Jacques Garrigue ba8b84047b fix warning
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-01 03:54:58 +00:00
Michel Mauny da63a5ca3a Fixed bug #3642 (trace M.N.P.q)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-31 17:05:15 +00:00
Pierre Habouzit 4803624ae5 fix parralelization of the compilation for targets world and opt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6893 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-31 11:52:16 +00:00
Pierre Habouzit 9d198c1874 or is obsolete --> ||
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6885 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-19 15:30:35 +00:00
Damien Doligez 6c9bac39d4 ajout de l'option -config (suggestion de Gerd Stolpmann)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-09 13:39:17 +00:00
Damien Doligez 984fc2d8e3 typo dans un commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-04 13:36:47 +00:00
Xavier Leroy bc037fc29f Normalisation des numeros de signaux renvoyes par Unix.wait* (PR#3584)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-17 08:23:51 +00:00
Xavier Leroy 1a16934841 Chercher X11 dans /usr/X11R6/lib64 aussi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-17 08:22:59 +00:00
Xavier Leroy fa9e17fc17 Unused variable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6843 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-17 08:22:28 +00:00
Xavier Leroy b698f5e612 Augmenter le temps de calcul
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-17 08:22:00 +00:00
Michel Mauny 9ba132a861 Fix PR#3549: increment line num in multiline anti-quotations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-14 09:49:17 +00:00
Damien Doligez 41e03a7e78 espaces
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-13 12:35:16 +00:00
Damien Doligez dac3ce381f suppression d'espaces superflus
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-11 16:44:26 +00:00
Damien Doligez c13650d26e PR#3575 merge 1.58.2.1 -> 1.58.2.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-11 16:37:39 +00:00
Jacques Garrigue c681a7edcf fix PR#3577 (only check variance for (semi-)abstract types)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6832 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-05 09:07:42 +00:00
Jacques Garrigue 827d03d59f bug in type_approx
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-04 04:34:53 +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
Jacques Garrigue 15aad8cbb6 ocamlc -i only prints variance annotations when needed
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6827 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-25 00:43:56 +00:00
Jacques Garrigue eb57cd1912 pas de conflit avec 3.08.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-25 00:42:54 +00:00
Damien Doligez e6007f6057 fusion des changements jusqu'a 3.08.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 17:20:54 +00:00
Damien Doligez 958bd6c492 fusion des changements jusqu'a 3.08.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 16:54:13 +00:00
Damien Doligez 6dea6b4af8 meilleurs messages d'erreur pour let rec
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6822 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 12:19:54 +00:00
Jacques Garrigue ef396b4e5a merge fixedtypes branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-23 03:08:37 +00:00
Jacques Garrigue 607872f95c rename fixed types as private
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-22 07:10:20 +00:00
Jacques Garrigue b95dc98e0e more examples
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6815 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-14 00:48:43 +00:00
Pierre Weis 58c2c48ac7 More regular naming convention for operations on format strings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-11 13:42:01 +00:00
Pierre Weis ea8c2fdc2a Doc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-11 13:41:25 +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 36f117f200 fix poly method subtyping
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-10 08:20:08 +00:00
Jacques Garrigue ca3abc51a8 fix poly method printing
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-10 08:19:22 +00:00
Pierre Weis 34121ffea0 Bumping the sub version.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6803 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-04 14:55:21 +00:00
Pierre Weis 280dcb3097 Correcting bug about erroneous erro reporting in case of wrong
conversions in format strings.
Static and dynamic messages about wrong format strings are now very
similar in printf.ml, scanf.ml, and typecore.ml.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-04 14:51:31 +00:00
Jacques Garrigue 9e569d061c abstract rows
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-02-22 03:54:05 +00:00
Jacques Garrigue a136415ab1 do not retype private types in as-patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-02-18 13:38:00 +00:00
Damien Doligez b8b9314f74 (::) et warnings inconnus
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-02-16 14:38:52 +00:00