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
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
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
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
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
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
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
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
bcef7b48e0
strange bug revealed by searchpos.ml ?!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 10:36:10 +00:00
707cb4c515
delay some checks for warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 10:18:51 +00:00
65b012157a
eager unification on variants with one tag
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-16 10:17:47 +00:00
544ee58f25
fix PR#1151
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-13 06:56:08 +00:00
52d75a5e19
Introducing format %C and %S to print (and read) strings and chars
...
with escaped and delimitors (as Objective Caml tokens).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-12 18:37:49 +00:00
c00140c75d
Completing implementation of char sets into scanf.ml.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-09 18:26:44 +00:00
fa704a8e7b
do not check row_bound for free schemes (PR#1137)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-05-07 03:21:12 +00:00
6700412bae
do not share expansions of #-types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 08:06:13 +00:00
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
98ca2c1b3e
make it clearer
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-18 03:44:44 +00:00
08968d669c
normalize more
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-15 02:11:32 +00:00
c5a2036429
normalize for multiple files and trim cmi size
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04 22:19:02 +00:00
a35fbd9077
forget row_bound
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04 13:43:11 +00:00
cc80242179
normalize signatures before saving
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04 03:49:58 +00:00
73ce0ac808
Simplifier lors de l'affichage les declarations val et exception redondantes dans les signatures inferees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 12:35:10 +00:00
b86c3f21e9
forget_abbrev avait l'air faux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 08:45:57 +00:00
9a6488158c
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 13:08:57 +00:00
50fa875408
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 12:51:21 +00:00
1a2ab84a39
ajoute interface pour oprint
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 12:17:56 +00:00
50161b7513
Regroupement des impressions "outcometree" dans un seul module oprint.ml.
...
Ajout de hooks de print dans toploop.mli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-13 11:09:19 +00:00
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
cb046b351a
finish PR#841
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-01 10:03:12 +00:00
bfc6db3edc
PR#841
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-01 02:49:48 +00:00
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
bd6601d913
poteau sur max_tag
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 17:29:18 +00:00
13356e7c5e
detabisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 15:12:21 +00:00
1dd02127e7
corrige ordre dans type de classe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-10 08:15:44 +00:00
2f149a6ea9
variant tag error messages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-04 02:02:50 +00:00
228ca372d0
pretty-printing of type declarations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-26 07:42:42 +00:00
9d64cd3489
PR#734
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-26 03:50:22 +00:00
584b29650a
PR#743
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-26 03:43:41 +00:00
20a6cd3e17
wrong warning
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4141 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-07 07:27:59 +00:00
d1a23c4b67
really fix PR#674
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-06 00:19:35 +00:00
393ec18f1b
keep the vars ref in sync with met_env
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-04 09:19:38 +00:00
6eebc6af4d
correction PR#674
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-12-04 03:29:44 +00:00
b1c96a931f
message d'erreur pour type en cours de definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-28 02:14:39 +00:00
a9c7371f2e
changement de representation des variants pour etre vraimet correct
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-23 14:28:21 +00:00
0a76c3b41e
copie correcte des variants polymorphes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-23 04:35:48 +00:00
e3206bb26c
plus correct
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-22 13:22:55 +00:00
e551820eef
simplify code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-22 10:41:29 +00:00
86827528b3
remarques de Jamie et Pierre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4030 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-22 06:47:29 +00:00
af5ee6951f
solve PR#3 (type abbreviation hides constraints)
...
pitfall: all constraints are shown, even if no new constraint was
introduced.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-19 09:49:56 +00:00
3b7bdb3044
improve error messages (PR#633)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-16 09:07:09 +00:00
50fc257b4c
fix PR#632 (incorrect generalization of variants in classes)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-16 07:26:56 +00:00
472be6f6b0
bug idiot et inoffensif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-12 11:02:40 +00:00
e6771d6552
allow coercions from self to own class (when safe!)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-05 09:12:59 +00:00
fb02d3be22
clear type pairs as soon as possible
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-05 09:04:08 +00:00
263de502b9
Ajout de reset_names dans l'interface
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-31 15:41:11 +00:00
d2ae59c3ab
Ajout formats pour int32, nativeint, int64. Support pour * dans les specifications de formats.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3935 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-28 14:22:05 +00:00
2d875fd83d
types of functions as parameters was computed twice (PR#590)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-22 02:39:25 +00:00
e98cbab81d
un print_space de trop dans print_out_type_decl
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-19 03:05:30 +00:00
77e6695ed6
better message for non-exhaustive matchings, when when matters
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 16:06:31 +00:00
679b536674
special message for all-when case
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 09:03:44 +00:00
d113c2c682
warning for empty PM + option -notk for configure
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-04 08:39:49 +00:00
6cadb65dba
Ajout d'une fonction type_cheme_max utilisée pour ocamldoc. Elle est susceptible d'etre modifiée selon les besoins d'ocamldoc. Elle est identique à type_scheme à ceci près qu'elle ne fait pas de reset_names.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3818 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-01 14:09:52 +00:00
0697c6771b
change tree_of_* functions to produce type variables in the right order
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-29 02:40:59 +00:00
23306c8c51
correction du PR#547: un Not_found produit par find_type s'echappe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-28 22:55:27 +00:00
b6bd54f7e2
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-28 13:00:31 +00:00
f4cd8940d3
fix PR#493
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-28 00:34:47 +00:00
d7f07ca63e
check immediately recursive abbrev for -rectypes too
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-27 23:48:37 +00:00
4cf25f9e3e
enleve [ ]
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-27 07:34:39 +00:00
a0620def39
bug in report_subtyping_error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-26 07:34:19 +00:00
42d1811a93
enrich variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-25 09:54:18 +00:00
62f4937446
bug report by Patrick Doane
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-19 13:09:42 +00:00
1fed429207
Bug dans include <struct> lorsque <struct> contient des declarations external (PR#505,PR#506)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-10 15:11:14 +00:00
ea299bbbc1
passage aux labels stricts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-06 08:52:32 +00:00
c9bc7c53cf
fix PR#492
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-23 23:21:30 +00:00
88b12eb770
bug dans l'impression des variants polymorphes nommes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-17 05:27:18 +00:00
91bcc9039b
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3639 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-15 23:37:59 +00:00
f753fdd05e
Verifier l'unicite des noms de classes et de class types (PR#478)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-13 09:35:49 +00:00
d625f74ef7
Calculer les composantes de modules de maniere paresseuse, car sinon la correction du PR#460 ralentit le typage de maniere perceptible
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-09 08:20:32 +00:00
fbe4ff190f
corrige bug PR#449
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-08 06:58:58 +00:00
1480f1d60e
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 20:04:59 +00:00
8e64cc8175
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 14:23:54 +00:00
a9de661f1a
Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 12:12:33 +00:00
bbccdbf1a2
Complété l'impression personnalisable des signatures par classes et objets
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3616 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 08:03:04 +00:00
3ed3b7bdda
Ajouté personalisation de l'affichage des items de signature dans le toplevel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-06 12:28:50 +00:00
3b5da7725e
Personalisation de l'affichage des valeurs et des types dans le toplevel.
...
Ajouté module Outcometree et des hooks dans le toplevel: print_out_value et
print_out_type. (j'ai oublié de mettre un message log dans le 1er commit)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-04 10:08:19 +00:00
10078faaa7
-
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-02 08:51:55 +00:00
c8235d0e51
Correction PR#460
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-31 16:42:00 +00:00
280231b664
Typo dans un message d'erreur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3592 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-23 15:35:49 +00:00
ab586be3a1
Renommer tous les identificateurs de toutes les composantes d'une structure, c'est necessaire pour compiler correctement 'include' en ocamlopt (PR#423)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-05 12:23:52 +00:00
cf5c5f706c
liste des labels manquants dans l'exception Labels_missing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-06-29 01:46:46 +00:00
1541966f30
subtype when self appears in a parameter
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-06-08 15:24:34 +00:00
b926109058
coercions simple compatibles avec heritage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-06-08 07:52:30 +00:00
3d3698bf00
PR #360
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-05-22 03:38:52 +00:00
08f20bcdfa
bug 342 (records dans les orpats)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 09:29:22 +00:00
02ca0f87f8
enforce uniqueness of typing in label mode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-19 08:34:21 +00:00
e24bac9d95
toilette du filtrage variants polymorphe + force traitement apres decouverte d'un cas de non-completude
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-10 05:03:44 +00:00
b1b8940a04
bug idiot 324
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-26 12:45:50 +00:00
c745cf4e71
Petits bugs dans la verification de l'unicite des noms de composantes (PR#296)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-05 12:59:23 +00:00
a679780453
ne comparer les variances que pour les types abstraits (PR#299)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-04 14:39:18 +00:00
141578ccef
ajout d'un champ filtrage a Reither
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-03 00:14:35 +00:00
24dc684f00
Test d'occurence manquant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-02 20:52:21 +00:00
c42b5e17a7
typage plus liberal des variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-02 13:15:58 +00:00
bdb325c38a
ajoute des assertions (en commentaire)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-27 08:57:27 +00:00
4f782171df
forgot one translation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-21 10:29:43 +00:00
b6041b0eb4
Correction d'un bug d'unification
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-20 22:16:02 +00:00
eb7578b8db
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:27:52 +00:00
845f8a46c8
Bug de performance rapporte' par Xavier
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3366 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-09 00:18:52 +00:00
c38d34b1db
allow more for -labels mode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-06 12:52:29 +00:00
5be9786494
be more restrictive with type-based deletion of optionals in arguments
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3363 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-06 10:27:12 +00:00
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
b80c77b025
fix -noassert pour que le typage des assertions soit toujours fait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-04 15:37:05 +00:00
ab73fdc7f1
Ajout de la construction 'include' dans les structures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-01 09:35:00 +00:00
29caf775f5
PR#230
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-26 19:11:31 +00:00
7b71ab6f46
Misc.for_all2 et List.for_all2 ont des semantiques tres legerement
...
differentes. Il me semble donc important de qualifier explicitement
toutes les occurrences de for_all2 dans ce fichier qui utilise tour a
tour les deux versions. Une autre apporche consisterait sans doute à
changer le for_all2 de la bibliothèque ou bien à l'utiliser
systematiquement ici en testant le cas des listes de longeurs
differentes...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-22 13:48:55 +00:00
9a9af71842
correct bug in typing of variant matching (PR#217)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-06 09:49:27 +00:00
ab97fd0dcc
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:18:05 +00:00
2c7226c3c6
PR#191: ne pas inclure les cas traites dans la liste des cas oublies
...
pour les variantes polymorphes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-20 02:40:50 +00:00
5dfbff7f5e
change variance syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 10:57:32 +00:00
4d30d52fb6
construit supertypes pour constructeurs contravariants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 05:13:09 +00:00
83ca813e4b
ajout des variances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06 10:21:07 +00:00
e477ccd225
relaxation de la semantique des effets de bords sur les parametres
...
optionels, pour permettre une compilation plus efficace.
modifie' translcore, typedtree, typecore, typeclass
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-04 08:49:32 +00:00
e8ea52a66a
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:58:52 +00:00
3ad649f365
imprime les traces meme sans expansion, pour les erreurs de sous-typage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 03:19:51 +00:00
d23a489fb1
tiny bug in eqtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 01:46:48 +00:00
bda548635f
autorise l'application d'une contrainte a un type en cours de definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-04 03:29:42 +00:00
234c5c9a96
La substitution revue'' ne traitait pas correctement les types recursifs et les classes (PR#163).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 12:40:43 +00:00
d3b7afb0a2
labels dans les messages d'erreur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-07-27 06:30:28 +00:00
2e13c569bf
corrige PR#151
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-30 01:32:46 +00:00
24d0d2bb79
raffinement du typage des as-patterns
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-29 09:11:42 +00:00
876df83f6b
print constraints correctly
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-28 05:47:42 +00:00
c136e5d1db
plus prudent dans build_subtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-26 03:11:09 +00:00
b1bff2927c
Rend build_subtype plus intelligent.
...
Incompatibilite' potentielle.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-23 08:08:34 +00:00
833da5e199
pas de | dans les listes de tags
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-14 10:01:44 +00:00
ea2bc758b4
check for impossible variant tag in pattern
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-13 09:41:06 +00:00
16f4149bc7
plus de polymorphisme pour as et with
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-13 06:59:29 +00:00
bbb09e97c2
PR #138
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-12 07:07:01 +00:00
ae377addc1
call Parmatch.check_unused before other unifications
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3198 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-12 06:39:32 +00:00
73be8e29a5
utilise approx_type dans type_approx
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-12 05:22:13 +00:00
1b1e463092
Simpifie les types de variantes, change le typage des matchings ouverts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-11 14:34:10 +00:00
11a999bfe3
Erreur si primitive a > 5 arguments sans seconde fonction C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3186 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-05 12:18:30 +00:00
fbaf7ee3f5
Reconnaitre if <cond> then <nonexp> else <nonexp> comme non-expansive (demande de Luc); nettoyages dans Typecore.is_nonexpansive
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-01 13:14:36 +00:00
0f6571dd22
correctly print equality constraint between type parameters
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-25 03:09:28 +00:00
43991e0a52
check recursive use of parameters in type abbreviations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-25 02:09:13 +00:00
1ae2e2724a
comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-25 02:08:23 +00:00
5c8badadbc
bootstrap required
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3177 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-24 08:19:02 +00:00
62932a7cae
already found a bug...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-24 08:06:33 +00:00
09857eb69f
3.00+5: delay constraint checking in type declarations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-24 06:19:39 +00:00
8ca77cdca9
PR#127
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-24 00:59:42 +00:00
833eb26c39
On peut mettre autant de constructeurs constants que l'on veut, seul le nombre de constructeurs nonconst est limite par Config.max_tag (PR#117, PR#118)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-22 08:24:05 +00:00
e09e3ba7c7
Revu substitution des signatures et modtypes pour eviter les captures de variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-16 06:28:21 +00:00
7092eeb82b
Ajout de Ident.rename
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-16 06:27:44 +00:00
6aa3532b1a
N'imprimer la marque "_" que si le type _reel_ est une variable.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-15 00:52:09 +00:00
c0f804929d
clean-up variant typing to recover principality
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 18:22:35 +00:00
23bebe81a6
tiny variant corrections
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 03:12:19 +00:00
fce71dd855
do not allow conjunctive types in patterns (PR#109)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 02:52:55 +00:00
a681b5863b
petite amelioration de la normalisation des types et des alias d'impression
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-11 02:22:54 +00:00
Jacques Garrigue
Pierre Weis
Xavier Leroy
Luc Maranget
Damien Doligez
Daniel de Rauglaudre
Maxence Guesdon
Jérôme Vouillon