29791fc19f
Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-14 17:38:02 +00:00
25d02fa881
wrong header
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6081 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-27 07:29:00 +00:00
c1d371aa3e
seules les methodes publiques peuvent etre implicitement polymorphes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-27 07:06:54 +00:00
111747916a
oups, commit too fast
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-16 14:09:30 +00:00
9b5364dc03
better (?) treatment of absent variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6066 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-09 13:12:17 +00:00
4234515e7c
ajout de Btype.row_field pour parmatch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-06 13:41:40 +00:00
4e41ff1f98
optimise full_match
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-06 03:27:42 +00:00
ddc87e9802
PR#1914,PR#1956 depollution de l'espace de noms
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6055 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-04 14:32:34 +00:00
31b6a1f58a
export
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-01 00:32:11 +00:00
464864e38e
Factorizing error messages in format type checking.
...
New conversion %l for line numbers (for Scanf).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5985 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-30 22:41:32 +00:00
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
80e050c2cd
simplify
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 08:19:29 +00:00
5ed1c19bb2
better message for PR#1884
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 02:17:49 +00:00
303ca193e8
tools for debugging the type checker
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 01:07:32 +00:00
b719914d64
fix PR#1917
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 01:06:55 +00:00
010106506c
fix PR#1918
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-11-07 00:19:08 +00:00
9e46ceb9e2
cannot List.assoc on label_description
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-28 15:26:48 +00:00
e8591e4f08
Detection trop stricte des types cycliques (PR#1826)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-25 08:05:38 +00:00
0a9b16337d
allow workaround for method overridden warning
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-10 01:03:50 +00:00
372ac37f6a
fix check of polymoprhism when type 'a annot = 'a
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-25 00:41:24 +00:00
833c7eb22f
Reinitialiser les idents avant de construire le .cmi pour -pack
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-20 14:35:14 +00:00
dd73e90e9e
cleanup after export of Parmatch.pressure_variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-18 08:26:18 +00:00
2f14aa695a
traite filtres incomplets dans pressure_variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5780 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-15 01:35:24 +00:00
763fbac510
test d'exhaustivite plus efficace, sur une remarque de Jacques
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-14 09:12:56 +00:00
fe592824fc
ameliore? typage des variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-14 09:04:43 +00:00
239e19d849
erased a troublesome coment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-12 12:13:02 +00:00
fa54cb2ae3
discard redundant cases in or-patterns
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-12 03:11:38 +00:00
fec4c52bba
must cleanup_abbrev in matches
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5769 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-09 12:09:11 +00:00
e9c6054e8b
revert to try_expand_head in Ctype.occur_rec (bug report by skaller)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-09 11:47:57 +00:00
a2051c8d09
Meilleure impression des flottants (PR#1778, PR#1781)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-29 09:11:13 +00:00
705a6371bc
Bug dans sous-typage entre foncteurs (PR#1780)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-27 17:02:33 +00:00
830d95537f
dump des types dans l'ordre postfixe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5739 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 18:00:40 +00:00
029b863032
RAZ des variables de types pour .annot
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5726 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-23 16:52:41 +00:00
db806efb49
fix PR#1764
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5722 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-23 03:12:53 +00:00
dada132355
fix PR#1591
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-22 10:58:39 +00:00
0ace6f6a76
better message for PR#1412
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5720 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-22 09:00:01 +00:00
8e38c1e249
Regle de sous-typage entre foncteurs trop restrictive (PR#1757)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-18 12:44:18 +00:00
af0591973a
fix PR#1744
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-08 10:01:10 +00:00
1a4be860d0
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-05 11:13:24 +00:00
661910856d
MAJ d'un commentaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-03 14:35:35 +00:00
705e980c2b
reprend la definition de Xavier pour partager le code de check_recursion
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-03 10:00:53 +00:00
8df11a4cf7
Nettoyage dans extract_label_names
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-03 08:34:08 +00:00
0a1f0f864b
desactivation du format %$
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5644 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-02 14:06:05 +00:00
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
b37e53cef1
PR#1675, voir aussi PR#1438
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5641 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-01 16:30:12 +00:00
49ee5083e2
Detection des abreviations de types mal formees introduites par 'module rec'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-01 13:05:43 +00:00
b8f3f07141
coherent handling of type declarations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-30 08:04:42 +00:00
8121f19f8d
fix PR#1731
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-28 10:46:32 +00:00
ccd0578b78
Revu approx_class_declarations (PR#1730)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-26 08:18:45 +00:00
789d53cecf
fix PR#1727
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-25 07:52:27 +00:00
fe77ea4a69
Option -i: ignorer la presence d'un .mli
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 14:00:49 +00:00
50bdc60761
L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .o, ainsi que le link
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 13:22:09 +00:00
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
7907414f8f
changement .types -> .annot + format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-12 12:52:17 +00:00
e444680a34
restore variance for constructed types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-23 07:51:37 +00:00
4202eb8c4d
add weak contravariance for types (PR#1692)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-21 09:04:54 +00:00
c5790aa417
fix PR#1559
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5568 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-19 09:21:17 +00:00
b5609e8619
Code mort.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-14 17:51:10 +00:00
7f8529a455
finish? fixing PR#1673
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-13 04:11:03 +00:00
d5f11dbd7c
better printing of tuples and variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-13 04:03:22 +00:00
66a875a31f
fix PR#1673
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 10:59:18 +00:00
e11c636eaf
Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:34:05 +00:00
48bb2ad5b4
Ajout unique_toplevel_name pour les besoins de Translmod.transl_toplevel_item
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5545 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:09:16 +00:00
14ec9d12bd
fix PR#1663
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-08 01:44:22 +00:00
ca2bda6887
new warning, fragile match, qqs details
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5538 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 14:57:24 +00:00
76d5c7aee1
new warning, fragile match
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-02 09:57:53 +00:00
e77055aad9
Complete move from virtual to private for concrete types with private
...
constructors (or labels).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-01 22:22:37 +00:00
9e6895aded
Introducing format %$ (to print strings with variables substitution)
...
and %! (to flush the output). See printf.mli for details.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-28 09:44:21 +00:00
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
b8311b53d0
fix PR#1599 and PR#1616
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-22 10:46:57 +00:00
a51ea25db1
-stypes -> -dtypes; meilleur mode emacs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-03 13:59:38 +00:00
7e63e57d59
fix caml-list/Damien.Pous@ens-lyon.fr/2003-03-30
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-03 02:15:38 +00:00
09ba0ddf30
ajout choses a faire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 12:47:18 +00:00
36348563c4
utilise Stypes dans ocamlbrowser
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 06:57:15 +00:00
43b02185d7
ajout option -stypes; depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 01:32:09 +00:00
5db155fee3
check partly defined types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-26 08:24:02 +00:00
0ac6c8e9c8
polymorphic method bugs, PR#1607
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5457 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-26 07:24:17 +00:00
e4476bbc30
fix PR#1606: allow aliases in implicit polymorphic method types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-20 07:36:55 +00:00
aa10a4bdf3
remove one space in record types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-20 07:35:50 +00:00
66838ed0bc
at space at end of poly variant to fix PR#1605
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-20 03:21:03 +00:00
0e5a1b3564
Simplifier la signature inferee avant de l'afficher par -i (PR#1560)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-10 16:57:04 +00:00
51fc697ee2
fix PR#1559 and improve error messages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-07 08:59:15 +00:00
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
79f3791c04
Introduction des types virtuels etape 2: introduction dans camlp4.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28 07:53:08 +00:00
b5d0102c05
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-28 06:59:19 +00:00
2258980625
merci damien (locations fantomes)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-24 15:13:01 +00:00
cca396e846
revert last_snapshot when backtracking
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-04 08:16:17 +00:00
306f79785d
points-virgules mal places
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-01-21 12:57:33 +00:00
0bca05af09
Expanser les abreviations pour determiner si une chaine litterale est de type string ou format (PR#1501)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5376 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-01-07 13:48:29 +00:00
af00190386
Skip format typing.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-09 09:27:54 +00:00
422967d82b
Introducing the skip facility for scanf.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-09 07:13:29 +00:00
9fd8825b8d
adding C-like %n format for scanf. For printf %n is an alias fr %i.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-08 13:52:02 +00:00
4011817915
Relax the value restriction
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-03 02:57:23 +00:00
dc6905ffab
menage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 06:22:02 +00:00
8297037442
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:50:56 +00:00
65c80f8ae1
add unification backtracking
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-21 05:39:01 +00:00
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
6a56c7ed49
do not mark aliases as non-gen
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5249 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 08:45:57 +00:00
8b3caae03e
Correction du typage des formats %t.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-02 11:25:22 +00:00
12107f3fbe
Reaching the format graal: the fourth element
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-31 09:56:11 +00:00
83290f6783
typage correct des variants, cf morematch.ml l. 1060
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-30 02:51:51 +00:00
f3795c5303
allow Tsubst in iter_row (when called from unroll_abbrev)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-16 07:03:25 +00:00
ecc3dc90ff
broken invariant on Fvar (PR#1439)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-16 01:26:15 +00:00
dd442339bf
check whether #c is really the right one in build_subtype (PR#1431)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-15 06:45:14 +00:00
872b17e4bd
collapse conjunctive types in class definition parameters
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-08 06:55:58 +00:00
94d249d8a2
Adding the %b convertion for unsigned numbers in binary notation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-07 12:13:00 +00:00
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
c0610c884a
ouf tests finis ?
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-30 14:23:00 +00:00
28985bc330
proprifier + se garantir contre les 168 variants de tk.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5142 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-25 16:37:04 +00:00
6ed39326b9
petite optimisation des or-inutiles (gros bug ?)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5139 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-23 17:19:33 +00:00
987ce83e55
retour sur les avertissements *unused pattern*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5138 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-23 08:36:46 +00:00
7cc6e362ae
fix bug in type copy of universal variants (PR#1382)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-11 06:09:26 +00:00
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
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
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
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
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
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
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
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
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
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
3a2cbe9ef1
recupere les variables de type apres let module
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 05:58:08 +00:00
8cd87857b8
fix PR#1276
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-05 05:57:24 +00:00
8eb2a6b683
fix PR#1274
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-02 01:23:11 +00:00
37bf95c248
detabisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-23 14:12:03 +00:00
f8c356128e
Bug dans le test d'unicite des labels d'un record dans le cas {a=...;X.a=...} ou a et X.a appartiennent au meme type de record
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-17 14:22:57 +00:00
40b7f8f848
clean-up moregeneral_row
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-08 07:19:11 +00:00
042d5a63ff
fix Brian Smith's class constraint problem (caml-list 2002-07-07)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-08 05:59:51 +00:00
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
cf97530787
remove dead code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-18 23:48:44 +00:00
e308b5656f
Amelioration messages d'erreur (PR#1158)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-18 13:57:09 +00:00
a3c76a6264
improve error messages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-18 10:47:33 +00:00
4a9e0cb904
remove coercion warning, add it only on error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-12 09:52:08 +00:00
d13715755c
clean-up of universal and recursive types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-10 02:39:35 +00:00
6b8a377e3b
correctly check recursive abbreviations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-10 02:38:31 +00:00
8b0560488e
fix PR#1191
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-09 10:26:15 +00:00
a5fd3bb206
PR#1189: handle names in update_level
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 23:08:33 +00:00
7c3f451166
Ajout flag dont_write_files pour ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 08:03:46 +00:00
363427a872
Suppression de la memoization des chemins de la forme F(M), qui est semantiquement incorrecte si F est un parametre de foncteur (PR#1180)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-06 08:02:43 +00:00
082377df68
final cleanup of build_subtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-04 07:37:19 +00:00
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
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
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
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
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
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
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
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
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
Xavier Leroy
Jacques Garrigue
Luc Maranget
Damien Doligez
Pierre Weis