summaryrefslogtreecommitdiff
path: root/typing/ctype.ml
Commit message (Expand)AuthorAgeFilesLines
* Deplacement d'un try...with dans expand_abbrev.Xavier Leroy1996-10-011-16/+14
* Garder autant que possible une abreviation lors de l'unification deJérôme Vouillon1996-09-231-6/+2
* Correction d'un bug de moregeneral.Jérôme Vouillon1996-09-231-2/+1
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Un argument etait inutilise dans linear_abbrev.Jérôme Vouillon1996-09-211-33/+33
* Reecriture de correct_abbrev, qui etait beaucoup trop lent dansJérôme Vouillon1996-09-201-45/+76
* Ident: ajout de Ident.iter.Xavier Leroy1996-07-151-42/+20
* Correction d'un bug (occur check qui bouclait parfois).Jérôme Vouillon1996-06-101-2/+3
* Comparaison de la longeur des listes avant de faire List.iter2.Jérôme Vouillon1996-05-311-12/+9
* Modification du calcul d'un sous-type pour (e :> t).Jérôme Vouillon1996-05-281-24/+33
* Amelioration de quelques messages d'erreur.Jérôme Vouillon1996-05-261-32/+134
* Amelioration des messages d'erreurs d'unification (expansion desJérôme Vouillon1996-05-201-82/+129
* Nettoyage : Label.t remplace par string.Jérôme Vouillon1996-05-161-6/+5
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Rendons a Cesar...Xavier Leroy1996-04-291-1/+1
* Extension objets.Jérôme Vouillon1996-04-221-235/+1151
* Remise a zero des niveaux de variables au debut de chaque definition.Xavier Leroy1995-12-221-1/+2
* Bug dans Ctype.moregeneral corrige.Xavier Leroy1995-11-161-22/+55
* moregeneral ne tenait pas bien compte des variables non generaliseesXavier Leroy1995-11-131-2/+6
* Env.find_ font raise Not_found au lieu d'une erreur si le path n'estXavier Leroy1995-11-031-4/+7
* Les variables 'a dans les contraintes de types sont considerees lieesXavier Leroy1995-10-311-0/+3
* Detection des abbrev recursives corrigee (algorithme dit "du rho").Xavier Leroy1995-10-191-8/+14
* Possibilite de rendre manifestes des types variant ou recordXavier Leroy1995-09-261-3/+3
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Changement representation des primitives.Xavier Leroy1995-07-251-0/+1
* Nouvelle technique de construction du CRC pour les .cmi.Xavier Leroy1995-07-021-2/+2
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+344