845e4b0563
Revision de la fonction `occur' : accepte de nouveau les recursions a
...
travers des types construits qui ne sont pas des abreviations (e.g.:
unification de 'a list avec 'a).
Gestion correcte des abreviations du genre 'a t = int.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-26 15:43:02 +00:00
e4626b17e3
Meilleur traitement des abreviations dans Ctype.moregen et Ctype.moregen_occur
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-25 13:40:04 +00:00
c540d67fde
Deplacement d'un try...with dans expand_abbrev.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-01 09:47:18 +00:00
f82b5566e4
Garder autant que possible une abreviation lors de l'unification de
...
deux types #xxx.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 17:15:59 +00:00
8ebda1067b
Correction d'un bug de moregeneral.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 15:57:00 +00:00
033ec5b736
Decoupage du module Typedtree en deux: Types et Typedtree.
...
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23 11:33:27 +00:00
1acce46d66
Un argument etait inutilise dans linear_abbrev.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-21 12:02:42 +00:00
1a196e07ea
Reecriture de correct_abbrev, qui etait beaucoup trop lent dans
...
certains cas.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-20 21:29:50 +00:00
3b14330560
Ident: ajout de Ident.iter.
...
Autres: unification sous prefixe lors de l'inference de types, corrige
le bug de Russo:
let x = ref [];; module F(X) = struct type t let _ = (x:t list ref) ... end;;
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-07-15 16:35:35 +00:00
c5bbe99551
Correction d'un bug (occur check qui bouclait parfois).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@867 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-06-10 11:26:54 +00:00
2a073e5ee9
Comparaison de la longeur des listes avant de faire List.iter2.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-31 12:27:03 +00:00
012f9feca5
Modification du calcul d'un sous-type pour (e :> t).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-28 14:30:52 +00:00
ed1cdeebcf
Amelioration de quelques messages d'erreur.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-26 13:42:34 +00:00
d6770a9231
Amelioration des messages d'erreurs d'unification (expansion des
...
abbreviations).
Typeclass: correction d'un bug de typage.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-20 16:43:29 +00:00
064465320e
Nettoyage : Label.t remplace par string.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-05-16 16:10:16 +00:00
2301d778e7
Renommage en Objective Caml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30 14:53:58 +00:00
d4d799ee8f
Rendons a Cesar...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-29 13:24:25 +00:00
7974a9d8b1
Extension objets.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22 11:15:41 +00:00
6b49da1f2f
Remise a zero des niveaux de variables au debut de chaque definition.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@572 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-12-22 10:54:36 +00:00
a620df2a84
Bug dans Ctype.moregeneral corrige.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-16 13:27:53 +00:00
7ad471596e
moregeneral ne tenait pas bien compte des variables non generalisees
...
dans le schema le plus general.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-13 14:25:55 +00:00
083af27a36
Env.find_ font raise Not_found au lieu d'une erreur si le path n'est
...
pas trouve (p.ex. parce que un .cmi n'est pas disponible).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-03 13:23:03 +00:00
3db4ca0de1
Les variables 'a dans les contraintes de types sont considerees liees
...
au debut de la phrase (on leur donne le niveau 1).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-31 15:58:31 +00:00
1f451d888e
Detection des abbrev recursives corrigee (algorithme dit "du rho").
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-19 16:28:44 +00:00
371c25886c
Possibilite de rendre manifestes des types variant ou record
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-26 20:23:29 +00:00
e4066357b1
Ajout des notices de copyright
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 15:06:35 +00:00
d1e2b83c19
Changement representation des primitives.
...
Introduction de datarepr.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-25 11:40:07 +00:00
0c9e80f2c8
Nouvelle technique de construction du CRC pour les .cmi.
...
List.combine maintenant decurryfiee.
Introduction de Ident.unique_name.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@59 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02 16:50:08 +00:00
61bd8ace6b
Passage a la version bootstrappee (franchissement du Rubicon)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 10:15:53 +00:00
Jérôme Vouillon
Xavier Leroy