Commit Graph

4473 Commits (685a839af651583941922c7aa87a9a13696e35ed)

Author SHA1 Message Date
Jacques Garrigue 685a839af6 handle correcty delayed binding mode in types and patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-03 07:33:48 +00:00
Jacques Garrigue c3f8585a18 must check recursion on constructors in build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-02 09:06:51 +00:00
Jacques Garrigue 7adf53a19b error message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-31 13:56:25 +00:00
Jacques Garrigue 3a33e519eb no need to restrict arrow subtyping anymore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-31 03:11:07 +00:00
Jacques Garrigue 21e57202d4 limit enlarge_type to 2 expansions involving object/variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4862 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-30 06:24:45 +00:00
Jacques Garrigue 3c3f028a73 change approach for slow subtyping, use counter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-29 14:29:57 +00:00
Jacques Garrigue 418790e32b restrict recursion in enlarge_type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-29 12:34:20 +00:00
Jacques Garrigue bbbc96786d missing space
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4859 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-29 12:02:54 +00:00
Maxence Guesdon 85829d6135 ne pas regénérer les pages man si pas de changement des mlis utilisés
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4858 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-29 08:32:15 +00:00
Jacques Garrigue ba584e71c5 add MacOSX specific options (-F and -framework) to configure, hasgot and ocamlmklib; add -tk-no-x11 to configure
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-29 03:51:53 +00:00
Pierre Weis 12b5faed10 Documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-28 17:51:49 +00:00
Damien Doligez 2dd5bb2e5d .depend + .cvsignore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-28 17:03:40 +00:00
Damien Doligez 3b358c7349 fix declenchement du compactage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-28 16:57:31 +00:00
Damien Doligez db702a9f31 toujours imprimer les tuples avec des parentheses
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-28 16:53:51 +00:00
Pierre Weis 9e67392a3a Disparition du module Scanning: modification des Makefiles + bootstrap.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4852 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 22:05:39 +00:00
Pierre Weis 3c8d710aef Disparition du module Scanning.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 22:02:44 +00:00
Pierre Weis 1b790320c7 Disparition de Scanning.ml et Scanning.mli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4850 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 22:01:05 +00:00
Pierre Weis 2b74c8d0bd Le module Scanning est intégré dans Scanf.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 22:00:09 +00:00
Pierre Weis ad7659f31d Les formats [f], [e], [E], [g], [G] sont équivalents.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4848 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 20:41:19 +00:00
Bruno Verlyck 50434fcb82 Added 4 open_flag's
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4847 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 16:06:31 +00:00
Bruno Verlyck bdb009f5f9 2 trucs pour pouvoir emuler un mode non bufferise avec un buffer de taille 1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4846 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 14:31:09 +00:00
Pierre Weis 00d14a727a Retour en arriere sur le precedent commit
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4845 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 12:06:49 +00:00
Pierre Weis 75ef6798a9 Test de sqrt_nat incorrect sur machine 64 bits, corrige
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 12:06:28 +00:00
Pierre Weis 817e451e48 Meilleurs messages d'erreur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4843 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 08:51:23 +00:00
Luc Maranget 588f1bf2ba la nuit porte conseil, traitement correct des #t et des variants absents dans satisfiable et every_satisfiable
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 08:04:03 +00:00
Pierre Weis b55d7dad58 Suppression de l'argument spc dans la fonction scan (le coeur de
fscanf): les espaces sont sautés lorsqu'on rencontre un espace dans la
chaîne de format.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 07:08:05 +00:00
Pierre Weis 60ed746eef Documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 07:05:36 +00:00
Pierre Weis cc021ae190 Documentation + cosmetique.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 07:04:48 +00:00
Jacques Garrigue 3751d24d01 unused match warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4838 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-27 03:09:18 +00:00
Jacques Garrigue 4ad2a0f0f2 fix again PR#1137
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 22:46:39 +00:00
Xavier Leroy 4c267d3d9e Petit bug dans test int64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4836 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 08:37:59 +00:00
Xavier Leroy 4c64e76734 Documentation du flag 0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 08:37:33 +00:00
Xavier Leroy a21fa9d655 Ajout Genarray.dims
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4834 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 08:34:05 +00:00
Xavier Leroy f8e9e42214 Revu detection int64. Nettoyages divers.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4833 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 08:33:26 +00:00
Xavier Leroy 384a4cd437 Software emulation of 64-bit integers if needed. Use safe division for int32 and nativeint if necessary
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4832 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-25 08:32:53 +00:00
Luc Maranget d008daf24e a zut, j ai commis un bug
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-24 15:35:25 +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
Pierre Weis 3e2024a34c typos
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-20 19:22:21 +00:00
Pierre Weis e9e7213c0c Implementation of escapes in Chars and Strings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-20 19:19:15 +00:00
Jacques Garrigue 6c7910573e a bit cleaner
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4827 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-17 08:40:15 +00:00
Jacques Garrigue 81d641867f check_unused_variant -> finalize_variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-17 08:29:49 +00:00
Pierre Weis a08d0285f1 Documentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4825 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-17 08:17:52 +00:00
Jacques Garrigue d97864a3f7 correct scope bug in Typedtree.alpha_pat
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-17 03:58:35 +00:00
Damien Doligez 3340979102 version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 16:23:01 +00:00
Damien Doligez 77173a5fe7 deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4822 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:23:05 +00:00
Damien Doligez c3a7cc05b5 syntaxe
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:22:14 +00:00
Damien Doligez a239328257 ajout $id
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:13:01 +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
Damien Doligez 4b981e1964 documentation de sort
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4818 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:09:09 +00:00
Damien Doligez 3901fe2301 meilleur placement de -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 15:08:31 +00:00