1cb985d544
Il faut exporter mark_type_node et mark_type_params
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-16 11:51:18 +00:00
8d0e88cbdc
Differents petits bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-10 17:57:27 +00:00
bcbbc54eab
Generalisation des let
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-10 17:54:48 +00:00
4de5d32abf
Dans save_signature, calculer les composantes avant de creer le fichier .cmi, pour etre sur de ne pas essayer de lire le .cmi pendant le calcul des composantes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-01 12:35:34 +00:00
5db83b0276
Bugs de compilation des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-31 19:41:24 +00:00
fe5f819190
Reset des variables de type avant affichage de certaines erreurs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2075 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-17 16:15:57 +00:00
6ab901d67a
Bug...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-17 16:03:33 +00:00
745499d97b
Variables non generalisables dans les classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-17 11:14:59 +00:00
f23257809b
Bug affichage erreur de sous-typage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-17 11:13:47 +00:00
7f2a75dd3c
Classes : plus laxiste dans les variables de type liees par les parametres
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-16 05:36:15 +00:00
d6c0b82888
"new c" non expansif si est une fonction
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-16 05:35:15 +00:00
c38767f515
Les objets ne peuvent pas avoir un type polymorphe
...
Bug d'affichage des erreurs d'unification
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:52:08 +00:00
b5405d22b5
Bug d'affichage des erreurs d'unification
...
Warning lorsque deux variables d'instance ont le meme nom
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2059 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:51:20 +00:00
097c8d5d5e
Bug d'affichage des erreurs d'unification
...
Mise a jour de l'affichage du type des classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:50:50 +00:00
7adf58f946
Bug d'affichage des erreurs d'unification
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:49:41 +00:00
ab861c103f
Bugs verification de sous-typage et filtrage de classe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:43:10 +00:00
8f0501b73a
Faute de frappe dans le module TypePairs: = devient ==
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-31 07:54:17 +00:00
c8ded4f8d3
Verifier l'unicite des labels dans un record pattern
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-29 11:53:57 +00:00
d1561bbfe8
Optimisation de la verification des relations d'egalite, d'instanciation
...
et de sous-typage entre types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-03 17:40:39 +00:00
cce4d03543
Une ligne oubliee
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-29 14:45:04 +00:00
78194d63d1
Typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-25 17:15:29 +00:00
1e375a74dd
Nouvelle syntaxe des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-25 13:14:07 +00:00
87b17301f4
Nouvelle syntaxe des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24 19:22:26 +00:00
19d79cd6ac
Meilleurs noms pour les exceptions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-23 10:06:50 +00:00
2a34e4305d
Meilleur affichage des val infix
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-11 12:52:32 +00:00
747f13ad93
Formatage de l'interface affichee par -i
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-09 16:08:08 +00:00
80bb5c6c8b
Ajout option "-intf_suffix" pour spécifier le suffixe de l'interface
...
quand on compile une implémentation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-05-27 14:11:25 +00:00
966c09366b
Ajout de l'extension de records {r with lbl=expr}
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-27 15:17:11 +00:00
e991e9442f
Composer les passes du compilateur avec ++ pour eviter de garder des pointeurs vers des structures inutilisees
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-27 15:16:48 +00:00
b19c2dbdd0
Oubli d'un cas dans iter_pattern.
...
Bug dans le typage des formats du style "%"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-15 17:46:35 +00:00
2d4b4b54ac
Imprimer type t = ... and s = ...
...
(C'est pas encore parfait, mais mieux que l'ancienne impl)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-14 14:48:08 +00:00
6e0c7318e9
Ajout des motifs de tableaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-06 09:23:01 +00:00
83cea541c3
Ajout de let module = <modulexpr> in <expr>
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-02-26 12:54:44 +00:00
1c1fa41dac
Suppression cas catch-all inutile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-12-09 09:12:51 +00:00
e87a671da1
Bug pour l'affichage du type de self
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-11-24 12:05:55 +00:00
5e02c08f4c
Bug occur-check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-11-18 15:14:56 +00:00
576365579c
\"private method\" -> \"method protected\"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-11-13 09:04:16 +00:00
84e2a4bb07
ident.ml: suppression du dernier matching non exhaustif
...
printtyp.ml: changement du type de List.iter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-31 13:02:30 +00:00
0f393737a4
Correction message d'erreur "format incorrect"
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-24 15:54:34 +00:00
27ae624991
suppression de quelques warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-22 13:26:19 +00:00
ccee1d802d
Bug de unroll_abbrev
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-21 11:33:03 +00:00
0e476fe92c
Bug dans test de virtualite d\'une classe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1713 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-09-22 14:47:48 +00:00
d7b9d6d5c7
expand_abbrev n'est plus exporte par Ctype.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-29 13:16:47 +00:00
dad3660233
Ajout systeme pour arite explicite des constructeurs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-16 18:10:35 +00:00
96b8fedbf1
Bug...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-05 14:15:41 +00:00
03ec746bf1
deTABisation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-19 15:42:21 +00:00
d396209609
Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux
...
des interfaces utilisees pour compiler ce .cmi.
Retour en arriere sur le flag "ps_used" introduit par Jerome, car la
modif sur les CRCs coule definitivement les applets de MMM.
Predef: ajout de l'exception Stack_overflow.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:30:02 +00:00
647dbb0aa4
rien
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 18:28:15 +00:00
b1b66f3278
typeclass: manque un () apres ;
...
primitive, typedecl: verifier que l'arite d'une primitive est > 0.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-13 14:07:00 +00:00
3e74d64630
Bug: [type t = int = A] etait accepte...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 11:30:03 +00:00
Xavier Leroy
Jérôme Vouillon
Daniel de Rauglaudre
Damien Doligez